Versions in byzantium: 1.8-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.5.0
Architectures:
any
Homepage
Build Jobs
VCS Browser
Owned Binaries
Build Dependencies
Files
| Filename |
Size |
Checksum (SHA256) |
| cvc4_1.8-2.dsc |
2.3 kB |
e7128c8ca139f12246b0dffaf73c1c7a695ac032b2d23f90cc7c761e1010a443 |
| cvc4_1.8.orig.tar.gz |
7.5 MB |
27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37 |
| cvc4_1.8-2.debian.tar.xz |
16.5 kB |
330e282f0938dd468ec327791366019da29a77bbaf91db553de06ab32d8a8aaa |