/debian/pool/main/c/coq-quickchick/

0 directories 53 files
Name Size Modified
Go up — —
coq-quickchick_1.6.4-3.debian.tar.xz 2.7 KiB
coq-quickchick_1.6.4-3.dsc 2.2 KiB
coq-quickchick_1.6.4.orig.tar.gz 379 KiB
coq-quickchick_2.1.0-1.1.debian.tar.xz 2.9 KiB
coq-quickchick_2.1.0-1.1.dsc 2.2 KiB
coq-quickchick_2.1.0-1.debian.tar.xz 2.8 KiB
coq-quickchick_2.1.0-1.dsc 2.2 KiB
coq-quickchick_2.1.0.orig.tar.gz 405 KiB
coq-quickchick_2.1.1-1.debian.tar.xz 3.0 KiB
coq-quickchick_2.1.1-1.dsc 2.2 KiB
coq-quickchick_2.1.1-2.debian.tar.xz 3.1 KiB
coq-quickchick_2.1.1-2.dsc 2.2 KiB
coq-quickchick_2.1.1.orig.tar.gz 405 KiB
libcoq-quickchick_1.6.4-3+b1_amd64.deb 1.5 MiB
libcoq-quickchick_1.6.4-3+b1_arm64.deb 1.5 MiB
libcoq-quickchick_1.6.4-3+b1_armhf.deb 1.5 MiB
libcoq-quickchick_1.6.4-3+b1_i386.deb 1.5 MiB
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb 1.5 MiB
libcoq-quickchick_1.6.4-3+b1_s390x.deb 1.5 MiB
libcoq-quickchick_2.1.0-1+b1_riscv64.deb 4.2 MiB
libcoq-quickchick_2.1.0-1+b2_amd64.deb 4.1 MiB
libcoq-quickchick_2.1.0-1+b2_arm64.deb 4.1 MiB
libcoq-quickchick_2.1.0-1+b2_ppc64el.deb 4.1 MiB
libcoq-quickchick_2.1.0-1+b2_s390x.deb 4.0 MiB
libcoq-quickchick_2.1.0-1.1+b2_amd64.deb 4.1 MiB
libcoq-quickchick_2.1.0-1.1+b2_arm64.deb 4.1 MiB
libcoq-quickchick_2.1.0-1.1+b2_ppc64el.deb 4.1 MiB
libcoq-quickchick_2.1.0-1.1+b2_riscv64.deb 4.2 MiB
libcoq-quickchick_2.1.0-1.1+b2_s390x.deb 4.0 MiB
libcoq-quickchick_2.1.1-1_arm64.deb 4.1 MiB
libcoq-quickchick_2.1.1-1_ppc64el.deb 4.1 MiB
libcoq-quickchick_2.1.1-1_s390x.deb 4.0 MiB
libcoq-quickchick_2.1.1-2_amd64.deb 4.0 MiB
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.1.0-1+b1_riscv64.deb 500 KiB
quickchick_2.1.0-1+b2_amd64.deb 481 KiB
quickchick_2.1.0-1+b2_arm64.deb 524 KiB
quickchick_2.1.0-1+b2_ppc64el.deb 499 KiB
quickchick_2.1.0-1+b2_s390x.deb 486 KiB
quickchick_2.1.0-1.1+b2_amd64.deb 479 KiB
quickchick_2.1.0-1.1+b2_arm64.deb 521 KiB
quickchick_2.1.0-1.1+b2_ppc64el.deb 498 KiB
quickchick_2.1.0-1.1+b2_riscv64.deb 498 KiB
quickchick_2.1.0-1.1+b2_s390x.deb 484 KiB
quickchick_2.1.1-1_arm64.deb 520 KiB
quickchick_2.1.1-1_ppc64el.deb 497 KiB
quickchick_2.1.1-1_s390x.deb 484 KiB
quickchick_2.1.1-2_amd64.deb 478 KiB