cvc5 - 1.1.2-2 main

Versions in landing: 1.1.2-2
Maintainer: Debian Science Maintainers <debian-science-maintainers [꩜] alioth-lists.debian.net>
Uploaders:
  • Scott Talbert <swt [꩜] techie.net>
Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

  • cvc5  amd64  amd64  amd64  arm64  arm64  arm64 
  • libcvc5-1  amd64  amd64  amd64  arm64  arm64  arm64 
  • libcvc5-dev  amd64  amd64  amd64  arm64  arm64  arm64 
  • libcvc5parser1  amd64  amd64  amd64  arm64  arm64  arm64 
  • python3-cvc5  amd64  amd64  amd64  arm64  arm64  arm64 

Build Dependencies

Files

Filename Size Checksum (SHA256)
cvc5_1.1.2-2.dsc 2.5 kB 60c8f76449c4cef9b59f9ea8a295c32378d014080a50931be6080e46d88fe69b
cvc5_1.1.2.orig.tar.gz 8.6 MB f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a
cvc5_1.1.2-2.debian.tar.xz 7.4 kB d222819780d8afd7146a533316277f2e0c92b618de69114b9498584b36af838f