Source package cvc5/1.0.3-1 in crimson @ pureos - PureOS Software

cvc5 - 1.0.3-1 main

Versions in crimson: 1.0.3-1
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.1
Architectures: any

Homepage Build Jobs VCS Browser

Owned Binaries

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

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
cvc5_1.0.3-1.dsc	2.3 kB	`1771bd03d0f098a08a1284ea8a6705811f005953799af382effa92e706faf329`
cvc5_1.0.3.orig.tar.gz	8.3 MB	`bf787b74c35ef61958865902e21dcb8f98f79d910b00a9e762a00ff8fcd2c462`
cvc5_1.0.3-1.debian.tar.xz	6.0 kB	`cb2e46cad33dbe2c5c39d9806b667e1d81f5ba49388b818968b46d49d33cf319`