This package may currently be unbuildable on the following architectures:
- arm64
- amd64
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 |