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
Owned Binaries
Build Dependencies
Files
| Filename |
Size |
Checksum (SHA256) |
| cvc4_1.6-2.dsc |
2.7 kB |
fa5227654bb688fd9f0990c28ce0833a3efe2199f8480287c670fd351a696a3b |
| cvc4_1.6.orig.tar.gz |
7.8 MB |
5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7 |
| cvc4_1.6-2.debian.tar.xz |
8.2 kB |
256cb4f2824a296cb5f01b72f9e762502a0e15dda19472a0038460a461c0b077 |