Studenten Net Twente Mirror service

Index of /pub/linux/deepin/pool/main/c/cvc4/

Filename Modification time Size
cvc4_1.6-2+b1_amd64.deb 133 KiB
cvc4_1.6-2+b1_i386.deb 136 KiB
cvc4_1.6-2.debian.tar.xz 8232 B
cvc4_1.6-2.dsc 2652 B
cvc4_1.6.orig.tar.gz 7633 KiB
libcvc4-5_1.6-2+b1_amd64.deb 3961 KiB
libcvc4-5_1.6-2+b1_i386.deb 4402 KiB
libcvc4-dev_1.6-2+b1_amd64.deb 6561 KiB
libcvc4-dev_1.6-2+b1_i386.deb 7040 KiB
libcvc4parser5_1.6-2+b1_amd64.deb 354 KiB
libcvc4parser5_1.6-2+b1_i386.deb 380 KiB