cvc4 - 1.6-2 main

Versions in amber: 1.6-2
 
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders:
  • Fabian Wolff <fabi.wolff@arcor.de>
Format: 3.0 (quilt)
Standards Version: 4.2.0
Architectures: amd64  i386  mips  mips64el  mipsel  hurd-i386  ia64  kfreebsd-amd64  kfreebsd-i386  m68k  powerpcspe  x32 
 
Homepage Build Jobs VCS Browser

Build Dependencies