Studenten Net Twente Mirror service

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

Filename Modification time Size
cvc4_1.5-1.debian.tar.xz 6012 B
cvc4_1.5-1.dsc 2221 B
cvc4_1.5-1_amd64.deb 135 KiB
cvc4_1.5-1_i386.deb 139 KiB
cvc4_1.5.orig.tar.gz 7740 KiB
cvc4_1.6-2build2.debian.tar.xz 8392 B
cvc4_1.6-2build2.dsc 2755 B
cvc4_1.6-2build2_amd64.deb 135 KiB
cvc4_1.6.orig.tar.gz 7633 KiB
cvc4_1.8-2.debian.tar.xz 16 KiB
cvc4_1.8-2.dsc 2275 B
cvc4_1.8-2_amd64.deb 72 KiB
cvc4_1.8-3build2.debian.tar.xz 16 KiB
cvc4_1.8-3build2.dsc 2363 B
cvc4_1.8-3build2_amd64.deb 74 KiB
cvc4_1.8-3build2_arm64.deb 70 KiB
cvc4_1.8-5.debian.tar.xz 17 KiB
cvc4_1.8-5.dsc 1861 B
cvc4_1.8-5_amd64.deb 69 KiB
cvc4_1.8-5_amd64v3.deb 70 KiB
cvc4_1.8-5_arm64.deb 65 KiB
cvc4_1.8.orig.tar.gz 7370 KiB
libcvc4-4_1.5-1_amd64.deb 3297 KiB
libcvc4-4_1.5-1_i386.deb 3534 KiB
libcvc4-5_1.6-2build2_amd64.deb 4407 KiB
libcvc4-7_1.8-2_amd64.deb 5527 KiB
libcvc4-7_1.8-3build2_amd64.deb 4624 KiB
libcvc4-7_1.8-3build2_arm64.deb 4241 KiB
libcvc4-7_1.8-5_amd64.deb 4803 KiB
libcvc4-7_1.8-5_amd64v3.deb 4942 KiB
libcvc4-7_1.8-5_arm64.deb 4389 KiB
libcvc4-dev_1.5-1_amd64.deb 5828 KiB
libcvc4-dev_1.5-1_i386.deb 6235 KiB
libcvc4-dev_1.6-2build2_amd64.deb 7125 KiB
libcvc4-dev_1.8-2_amd64.deb 120 KiB
libcvc4-dev_1.8-3build2_amd64.deb 122 KiB
libcvc4-dev_1.8-3build2_arm64.deb 122 KiB
libcvc4-dev_1.8-5_amd64.deb 122 KiB
libcvc4-dev_1.8-5_amd64v3.deb 122 KiB
libcvc4-dev_1.8-5_arm64.deb 122 KiB
libcvc4parser4_1.5-1_amd64.deb 355 KiB
libcvc4parser4_1.5-1_i386.deb 381 KiB
libcvc4parser5_1.6-2build2_amd64.deb 356 KiB
libcvc4parser7_1.8-2_amd64.deb 349 KiB
libcvc4parser7_1.8-3build2_amd64.deb 365 KiB
libcvc4parser7_1.8-3build2_arm64.deb 345 KiB
libcvc4parser7_1.8-5_amd64.deb 375 KiB
libcvc4parser7_1.8-5_amd64v3.deb 386 KiB
libcvc4parser7_1.8-5_arm64.deb 359 KiB