Studenten Net Twente Mirror service

Index of /pub/linux/debian/pool/main/c/cvc5/

Filename Modification time Size
cvc5_1.0.3-1.debian.tar.xz 5964 B
cvc5_1.0.3-1.dsc 2305 B
cvc5_1.0.3-1_amd64.deb 105 KiB
cvc5_1.0.3-1_arm64.deb 95 KiB
cvc5_1.0.3-1_ppc64el.deb 103 KiB
cvc5_1.0.3-1_s390x.deb 95 KiB
cvc5_1.0.3.orig.tar.gz 8140 KiB
cvc5_1.1.2-2+b1_amd64.deb 108 KiB
cvc5_1.1.2-2+b1_arm64.deb 97 KiB
cvc5_1.1.2-2+b1_armel.deb 98 KiB
cvc5_1.1.2-2+b1_armhf.deb 100 KiB
cvc5_1.1.2-2+b1_i386.deb 111 KiB
cvc5_1.1.2-2+b1_mips64el.deb 90 KiB
cvc5_1.1.2-2+b1_ppc64el.deb 102 KiB
cvc5_1.1.2-2+b1_riscv64.deb 101 KiB
cvc5_1.1.2-2+b1_s390x.deb 106 KiB
cvc5_1.1.2-2.debian.tar.xz 7396 B
cvc5_1.1.2-2.dsc 2470 B
cvc5_1.1.2.orig.tar.gz 8381 KiB
libcvc5-1_1.0.3-1_amd64.deb 5704 KiB
libcvc5-1_1.0.3-1_arm64.deb 4829 KiB
libcvc5-1_1.0.3-1_ppc64el.deb 5458 KiB
libcvc5-1_1.0.3-1_s390x.deb 4980 KiB
libcvc5-1_1.1.2-2+b1_amd64.deb 6262 KiB
libcvc5-1_1.1.2-2+b1_arm64.deb 5347 KiB
libcvc5-1_1.1.2-2+b1_armel.deb 5449 KiB
libcvc5-1_1.1.2-2+b1_armhf.deb 5348 KiB
libcvc5-1_1.1.2-2+b1_i386.deb 6863 KiB
libcvc5-1_1.1.2-2+b1_mips64el.deb 5052 KiB
libcvc5-1_1.1.2-2+b1_ppc64el.deb 5967 KiB
libcvc5-1_1.1.2-2+b1_riscv64.deb 6265 KiB
libcvc5-1_1.1.2-2+b1_s390x.deb 6390 KiB
libcvc5-dev_1.0.3-1_amd64.deb 57 KiB
libcvc5-dev_1.0.3-1_arm64.deb 57 KiB
libcvc5-dev_1.0.3-1_ppc64el.deb 57 KiB
libcvc5-dev_1.0.3-1_s390x.deb 57 KiB
libcvc5-dev_1.1.2-2+b1_amd64.deb 91 KiB
libcvc5-dev_1.1.2-2+b1_arm64.deb 91 KiB
libcvc5-dev_1.1.2-2+b1_armel.deb 91 KiB
libcvc5-dev_1.1.2-2+b1_armhf.deb 91 KiB
libcvc5-dev_1.1.2-2+b1_i386.deb 91 KiB
libcvc5-dev_1.1.2-2+b1_mips64el.deb 91 KiB
libcvc5-dev_1.1.2-2+b1_ppc64el.deb 91 KiB
libcvc5-dev_1.1.2-2+b1_riscv64.deb 91 KiB
libcvc5-dev_1.1.2-2+b1_s390x.deb 91 KiB
libcvc5parser1_1.0.3-1_amd64.deb 300 KiB
libcvc5parser1_1.0.3-1_arm64.deb 267 KiB
libcvc5parser1_1.0.3-1_ppc64el.deb 297 KiB
libcvc5parser1_1.0.3-1_s390x.deb 265 KiB
libcvc5parser1_1.1.2-2+b1_amd64.deb 230 KiB
libcvc5parser1_1.1.2-2+b1_arm64.deb 201 KiB
libcvc5parser1_1.1.2-2+b1_armel.deb 194 KiB
libcvc5parser1_1.1.2-2+b1_armhf.deb 200 KiB
libcvc5parser1_1.1.2-2+b1_i386.deb 248 KiB
libcvc5parser1_1.1.2-2+b1_mips64el.deb 192 KiB
libcvc5parser1_1.1.2-2+b1_ppc64el.deb 225 KiB
libcvc5parser1_1.1.2-2+b1_riscv64.deb 219 KiB
libcvc5parser1_1.1.2-2+b1_s390x.deb 223 KiB
python3-cvc5_1.1.2-2+b1_amd64.deb 328 KiB
python3-cvc5_1.1.2-2+b1_arm64.deb 289 KiB
python3-cvc5_1.1.2-2+b1_armel.deb 299 KiB
python3-cvc5_1.1.2-2+b1_armhf.deb 304 KiB
python3-cvc5_1.1.2-2+b1_i386.deb 310 KiB
python3-cvc5_1.1.2-2+b1_mips64el.deb 242 KiB
python3-cvc5_1.1.2-2+b1_ppc64el.deb 293 KiB
python3-cvc5_1.1.2-2+b1_riscv64.deb 310 KiB
python3-cvc5_1.1.2-2+b1_s390x.deb 321 KiB