Studenten Net Twente Mirror service

Index of /pub/os/linux/debian/pool/main/c/coq-quickchick/

Filename Modification time Size
coq-quickchick_1.6.4-3.debian.tar.xz 2724 B
coq-quickchick_1.6.4-3.dsc 2261 B
coq-quickchick_1.6.4.orig.tar.gz 379 KiB
coq-quickchick_2.0.3-2.debian.tar.xz 2792 B
coq-quickchick_2.0.3-2.dsc 2275 B
coq-quickchick_2.0.3.orig.tar.gz 402 KiB
libcoq-quickchick_1.6.4-3+b1_amd64.deb 1547 KiB
libcoq-quickchick_1.6.4-3+b1_arm64.deb 1568 KiB
libcoq-quickchick_1.6.4-3+b1_armhf.deb 1543 KiB
libcoq-quickchick_1.6.4-3+b1_i386.deb 1530 KiB
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb 1551 KiB
libcoq-quickchick_1.6.4-3+b1_s390x.deb 1550 KiB
libcoq-quickchick_2.0.3-2+b1_armhf.deb 3178 KiB
libcoq-quickchick_2.0.3-2+b1_s390x.deb 3154 KiB
libcoq-quickchick_2.0.3-2+b2_amd64.deb 3181 KiB
libcoq-quickchick_2.0.3-2+b2_arm64.deb 3190 KiB
libcoq-quickchick_2.0.3-2+b2_i386.deb 3154 KiB
libcoq-quickchick_2.0.3-2+b2_ppc64el.deb 3199 KiB
libcoq-quickchick_2.0.3-2+b2_riscv64.deb 3305 KiB
quickchick_1.6.4-3+b1_amd64.deb 54 KiB
quickchick_1.6.4-3+b1_arm64.deb 54 KiB
quickchick_1.6.4-3+b1_armhf.deb 54 KiB
quickchick_1.6.4-3+b1_i386.deb 54 KiB
quickchick_1.6.4-3+b1_ppc64el.deb 54 KiB
quickchick_1.6.4-3+b1_s390x.deb 54 KiB
quickchick_2.0.3-2+b1_armhf.deb 377 KiB
quickchick_2.0.3-2+b1_s390x.deb 404 KiB
quickchick_2.0.3-2+b2_amd64.deb 402 KiB
quickchick_2.0.3-2+b2_arm64.deb 446 KiB
quickchick_2.0.3-2+b2_i386.deb 394 KiB
quickchick_2.0.3-2+b2_ppc64el.deb 423 KiB
quickchick_2.0.3-2+b2_riscv64.deb 410 KiB