/ubuntu/pool/universe/c/cvc5/

0 directories 23 files
Name Size Modified
Go up — —
cvc5_1.1.2-1build1.debian.tar.xz 6.4 KiB
cvc5_1.1.2-1build1.dsc 2.5 KiB
cvc5_1.1.2-1build1_amd64.deb 93 KiB
cvc5_1.1.2-2build1.debian.tar.xz 7.3 KiB
cvc5_1.1.2-2build1.dsc 2.4 KiB
cvc5_1.1.2-2build1_amd64.deb 90 KiB
cvc5_1.1.2.orig.tar.gz 8.2 MiB
cvc5_1.3.2-1build1.debian.tar.xz 8.4 KiB
cvc5_1.3.2-1build1.dsc 2.4 KiB
cvc5_1.3.2-1build1_amd64.deb 119 KiB
cvc5_1.3.2.orig.tar.gz 8.8 MiB
libcvc5-1_1.1.2-1build1_amd64.deb 4.9 MiB
libcvc5-1_1.1.2-2build1_amd64.deb 5.0 MiB
libcvc5-1_1.3.2-1build1_amd64.deb 5.9 MiB
libcvc5-dev_1.1.2-1build1_amd64.deb 82 KiB
libcvc5-dev_1.1.2-2build1_amd64.deb 82 KiB
libcvc5-dev_1.3.2-1build1_amd64.deb 109 KiB
libcvc5parser1_1.1.2-1build1_amd64.deb 205 KiB
libcvc5parser1_1.1.2-2build1_amd64.deb 206 KiB
libcvc5parser1_1.3.2-1build1_amd64.deb 229 KiB
python3-cvc5_1.1.2-1build1_amd64.deb 339 KiB
python3-cvc5_1.1.2-2build1_amd64.deb 350 KiB
python3-cvc5_1.3.2-1build1_amd64.deb 382 KiB