/ubuntu/pool/universe/c/cvc5/

0 directories 27 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-3.debian.tar.xz 7.2 KiB
cvc5_1.1.2-3.dsc 2.4 KiB
cvc5_1.1.2-3_amd64.deb 92 KiB
cvc5_1.1.2-3_amd64v3.deb 94 KiB
cvc5_1.1.2.orig.tar.gz 8.2 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.1.2-3_amd64.deb 5.1 MiB
libcvc5-1_1.1.2-3_amd64v3.deb 5.2 MiB
libcvc5-dev_1.1.2-1build1_amd64.deb 82 KiB
libcvc5-dev_1.1.2-2build1_amd64.deb 82 KiB
libcvc5-dev_1.1.2-3_amd64.deb 82 KiB
libcvc5-dev_1.1.2-3_amd64v3.deb 82 KiB
libcvc5parser1_1.1.2-1build1_amd64.deb 205 KiB
libcvc5parser1_1.1.2-2build1_amd64.deb 206 KiB
libcvc5parser1_1.1.2-3_amd64.deb 208 KiB
libcvc5parser1_1.1.2-3_amd64v3.deb 212 KiB
python3-cvc5_1.1.2-1build1_amd64.deb 339 KiB
python3-cvc5_1.1.2-2build1_amd64.deb 350 KiB
python3-cvc5_1.1.2-3_amd64.deb 323 KiB
python3-cvc5_1.1.2-3_amd64v3.deb 332 KiB