Index of /mirrors/ftp.debian.org/pool/main/c/coq-quickchick/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-quickchick_1.6.4-3.debian.tar.xz2023-Jan-27 07:18:562.6Kapplication/octet-stream
coq-quickchick_1.6.4-3.dsc2023-Jan-27 07:18:562.2Kapplication/octet-stream
coq-quickchick_1.6.4.orig.tar.gz2022-Aug-15 08:38:36379.3Kapplication/x-gzip
coq-quickchick_2.0.2-1.debian.tar.xz2024-Jan-20 20:21:532.9Kapplication/octet-stream
coq-quickchick_2.0.2-1.dsc2024-Jan-20 20:21:532.2Kapplication/octet-stream
coq-quickchick_2.0.2.orig.tar.gz2024-Jan-20 20:21:53405.8Kapplication/x-gzip
coq-quickchick_2.0.3-2.debian.tar.xz2024-Apr-30 23:09:162.7Kapplication/octet-stream
coq-quickchick_2.0.3-2.dsc2024-Apr-30 23:09:162.2Kapplication/octet-stream
coq-quickchick_2.0.3.orig.tar.gz2024-Apr-30 23:09:16401.9Kapplication/x-gzip
libcoq-quickchick_1.6.4-3+b1_amd64.deb2023-Feb-14 07:11:161.5Mapplication/octet-stream
libcoq-quickchick_1.6.4-3+b1_arm64.deb2023-Feb-14 07:11:141.5Mapplication/octet-stream
libcoq-quickchick_1.6.4-3+b1_armhf.deb2023-Feb-14 07:11:171.5Mapplication/octet-stream
libcoq-quickchick_1.6.4-3+b1_i386.deb2023-Feb-14 07:16:251.5Mapplication/octet-stream
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb2023-Feb-14 14:13:441.5Mapplication/octet-stream
libcoq-quickchick_1.6.4-3+b1_s390x.deb2023-Feb-14 07:26:491.5Mapplication/octet-stream
libcoq-quickchick_2.0.2-1+b1_amd64.deb2024-Feb-16 16:04:481.6Mapplication/octet-stream
libcoq-quickchick_2.0.2-1+b1_arm64.deb2024-Feb-16 18:36:501.6Mapplication/octet-stream
libcoq-quickchick_2.0.2-1+b1_i386.deb2024-Feb-16 16:04:541.6Mapplication/octet-stream
libcoq-quickchick_2.0.2-1+b1_ppc64el.deb2024-Feb-16 16:20:041.6Mapplication/octet-stream
libcoq-quickchick_2.0.2-1+b1_s390x.deb2024-Feb-16 15:59:431.6Mapplication/octet-stream
libcoq-quickchick_2.0.2-1+b2_armhf.deb2024-Apr-01 01:29:541.6Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b1_amd64.deb2024-Jun-05 01:37:573.1Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b1_arm64.deb2024-Jun-05 12:21:533.1Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b1_armhf.deb2024-Jun-15 15:17:113.1Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b1_i386.deb2024-Jun-05 01:37:543.0Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b1_ppc64el.deb2024-Jun-07 13:38:523.1Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b1_riscv64.deb2024-Jun-05 16:59:263.2Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b1_s390x.deb2024-Jun-16 02:38:453.0Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b2_amd64.deb2024-Jun-15 15:06:593.1Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b2_arm64.deb2024-Jun-15 17:18:003.1Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b2_i386.deb2024-Jun-15 15:07:003.0Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b2_ppc64el.deb2024-Jun-15 15:07:003.1Mapplication/octet-stream
libcoq-quickchick_2.0.3-2+b2_riscv64.deb2024-Jun-16 02:58:563.2Mapplication/octet-stream
libcoq-quickchick_2.0.3-2_armhf.deb2024-Jun-07 12:42:423.1Mapplication/octet-stream
libcoq-quickchick_2.0.3-2_s390x.deb2024-Jun-07 12:02:123.0Mapplication/octet-stream
quickchick_1.6.4-3+b1_amd64.deb2023-Feb-14 07:11:1654.3Kapplication/octet-stream
quickchick_1.6.4-3+b1_arm64.deb2023-Feb-14 07:11:1454.3Kapplication/octet-stream
quickchick_1.6.4-3+b1_armhf.deb2023-Feb-14 07:11:1754.3Kapplication/octet-stream
quickchick_1.6.4-3+b1_i386.deb2023-Feb-14 07:16:2554.3Kapplication/octet-stream
quickchick_1.6.4-3+b1_ppc64el.deb2023-Feb-14 14:13:4454.3Kapplication/octet-stream
quickchick_1.6.4-3+b1_s390x.deb2023-Feb-14 07:26:4954.3Kapplication/octet-stream
quickchick_2.0.2-1+b1_amd64.deb2024-Feb-16 16:04:4857.4Kapplication/octet-stream
quickchick_2.0.2-1+b1_arm64.deb2024-Feb-16 18:36:5057.3Kapplication/octet-stream
quickchick_2.0.2-1+b1_i386.deb2024-Feb-16 16:04:5457.3Kapplication/octet-stream
quickchick_2.0.2-1+b1_ppc64el.deb2024-Feb-16 16:20:0457.3Kapplication/octet-stream
quickchick_2.0.2-1+b1_s390x.deb2024-Feb-16 15:59:4357.3Kapplication/octet-stream
quickchick_2.0.2-1+b2_armhf.deb2024-Apr-01 01:29:5457.3Kapplication/octet-stream
quickchick_2.0.3-2+b1_amd64.deb2024-Jun-05 01:37:57401.1Kapplication/octet-stream
quickchick_2.0.3-2+b1_arm64.deb2024-Jun-05 12:21:53442.4Kapplication/octet-stream
quickchick_2.0.3-2+b1_armhf.deb2024-Jun-15 15:17:11376.8Kapplication/octet-stream
quickchick_2.0.3-2+b1_i386.deb2024-Jun-05 01:37:54393.7Kapplication/octet-stream
quickchick_2.0.3-2+b1_ppc64el.deb2024-Jun-07 13:38:52423.2Kapplication/octet-stream
quickchick_2.0.3-2+b1_riscv64.deb2024-Jun-05 16:59:26409.9Kapplication/octet-stream
quickchick_2.0.3-2+b1_s390x.deb2024-Jun-16 02:38:45404.4Kapplication/octet-stream
quickchick_2.0.3-2+b2_amd64.deb2024-Jun-15 15:06:59401.7Kapplication/octet-stream
quickchick_2.0.3-2+b2_arm64.deb2024-Jun-15 17:18:00445.7Kapplication/octet-stream
quickchick_2.0.3-2+b2_i386.deb2024-Jun-15 15:07:00393.6Kapplication/octet-stream
quickchick_2.0.3-2+b2_ppc64el.deb2024-Jun-15 15:07:00422.8Kapplication/octet-stream
quickchick_2.0.3-2+b2_riscv64.deb2024-Jun-16 02:58:56410.2Kapplication/octet-stream
quickchick_2.0.3-2_armhf.deb2024-Jun-07 12:42:42376.5Kapplication/octet-stream
quickchick_2.0.3-2_s390x.deb2024-Jun-07 12:02:12403.0Kapplication/octet-stream
lighttpd/1.4.19