Versions in landing: 1.8-3
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.orig.tar.gz |
7.5 MB |
27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37 |
| cvc4_1.8-3.dsc |
2.2 kB |
9eff67686af16ae138139c72d985ba2055f8b9f7499e72227084c05d205a8e5e |
| cvc4_1.8-3.debian.tar.xz |
16.7 kB |
2352cb3bcf46a49d70fd3f5d46664a85810ed2f17fa12b6038e387ba34a426e2 |