Studenten Net Twente Mirror service

Index of /pub/linux/ubuntu/pool/universe/c/cvc5/

Filename Modification time Size
cvc5_1.1.2-1build1.debian.tar.xz 6576 B
cvc5_1.1.2-1build1.dsc 2589 B
cvc5_1.1.2-1build1_amd64.deb 93 KiB
cvc5_1.1.2-2build1.debian.tar.xz 7476 B
cvc5_1.1.2-2build1.dsc 2473 B
cvc5_1.1.2-2build1_amd64.deb 90 KiB
cvc5_1.1.2.orig.tar.gz 8381 KiB
cvc5_1.3.2-1.debian.tar.xz 8532 B
cvc5_1.3.2-1.dsc 2468 B
cvc5_1.3.2-1_amd64.deb 119 KiB
cvc5_1.3.2-1_amd64v3.deb 121 KiB
cvc5_1.3.2-1build1.debian.tar.xz 8596 B
cvc5_1.3.2-1build1.dsc 2471 B
cvc5_1.3.2-1build1_amd64.deb 119 KiB
cvc5_1.3.2-1build1_amd64v3.deb 121 KiB
cvc5_1.3.2.orig.tar.gz 9034 KiB
libcvc5-1_1.1.2-1build1_amd64.deb 4967 KiB
libcvc5-1_1.1.2-2build1_amd64.deb 5162 KiB
libcvc5-1_1.3.2-1_amd64.deb 6030 KiB
libcvc5-1_1.3.2-1_amd64v3.deb 6228 KiB
libcvc5-1_1.3.2-1build1_amd64.deb 6030 KiB
libcvc5-1_1.3.2-1build1_amd64v3.deb 6228 KiB
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-1_amd64.deb 109 KiB
libcvc5-dev_1.3.2-1_amd64v3.deb 109 KiB
libcvc5-dev_1.3.2-1build1_amd64.deb 109 KiB
libcvc5-dev_1.3.2-1build1_amd64v3.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-1_amd64.deb 229 KiB
libcvc5parser1_1.3.2-1_amd64v3.deb 234 KiB
libcvc5parser1_1.3.2-1build1_amd64.deb 229 KiB
libcvc5parser1_1.3.2-1build1_amd64v3.deb 234 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-1_amd64.deb 382 KiB
python3-cvc5_1.3.2-1_amd64v3.deb 384 KiB
python3-cvc5_1.3.2-1build1_amd64.deb 382 KiB
python3-cvc5_1.3.2-1build1_amd64v3.deb 384 KiB