cvc4 - 1.8-3 main

Versions in crimson: 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

  • libcvc4-7  amd64  amd64  amd64  arm64  arm64  arm64 
  • cvc4  amd64  amd64  amd64  arm64  arm64  arm64 
  • libcvc4-dev  amd64  amd64  amd64  arm64  arm64  arm64 
  • libcvc4parser7  amd64  amd64  amd64  arm64  arm64  arm64 

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