Index of /pool/main/c/coq-quickchick/

NameLast ModifiedSizeType
../ -  Directory
coq-quickchick_1.6.4-3.debian.tar.xz2023-Jan-27 07:18:562.6Kapplication/x-xz
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/gzip
coq-quickchick_2.0.4-1.debian.tar.xz2024-Nov-20 11:07:512.8Kapplication/x-xz
coq-quickchick_2.0.4-1.dsc2024-Nov-20 11:07:512.2Kapplication/octet-stream
coq-quickchick_2.0.4.orig.tar.gz2024-Nov-20 11:07:51403.2Kapplication/gzip
coq-quickchick_2.0.5-1.debian.tar.xz2024-Dec-18 17:08:032.8Kapplication/x-xz
coq-quickchick_2.0.5-1.dsc2024-Dec-18 17:08:032.2Kapplication/octet-stream
coq-quickchick_2.0.5.orig.tar.gz2024-Dec-18 17:08:03403.3Kapplication/gzip
libcoq-quickchick_1.6.4-3+b1_amd64.deb2023-Feb-14 07:11:161.5Mapplication/vnd.debian.binary-package
libcoq-quickchick_1.6.4-3+b1_arm64.deb2023-Feb-14 07:11:141.5Mapplication/vnd.debian.binary-package
libcoq-quickchick_1.6.4-3+b1_armhf.deb2023-Feb-14 07:11:171.5Mapplication/vnd.debian.binary-package
libcoq-quickchick_1.6.4-3+b1_i386.deb2023-Feb-14 07:16:251.5Mapplication/vnd.debian.binary-package
libcoq-quickchick_1.6.4-3+b1_ppc64el.deb2023-Feb-14 14:13:441.5Mapplication/vnd.debian.binary-package
libcoq-quickchick_1.6.4-3+b1_s390x.deb2023-Feb-14 07:26:491.5Mapplication/vnd.debian.binary-package
libcoq-quickchick_2.0.4-1_amd64.deb2024-Nov-21 01:03:114.0Mapplication/vnd.debian.binary-package
libcoq-quickchick_2.0.4-1_arm64.deb2024-Nov-20 21:15:124.0Mapplication/vnd.debian.binary-package
libcoq-quickchick_2.0.4-1_ppc64el.deb2024-Nov-20 19:48:394.0Mapplication/vnd.debian.binary-package
libcoq-quickchick_2.0.4-1_riscv64.deb2024-Nov-21 05:46:194.2Mapplication/vnd.debian.binary-package
libcoq-quickchick_2.0.4-1_s390x.deb2024-Nov-22 00:02:284.0Mapplication/vnd.debian.binary-package
libcoq-quickchick_2.0.5-1+b1_amd64.deb2024-Dec-19 20:49:094.0Mapplication/vnd.debian.binary-package
libcoq-quickchick_2.0.5-1+b1_arm64.deb2024-Dec-19 22:31:064.0Mapplication/vnd.debian.binary-package
libcoq-quickchick_2.0.5-1+b1_ppc64el.deb2024-Dec-19 19:56:344.0Mapplication/vnd.debian.binary-package
libcoq-quickchick_2.0.5-1+b1_riscv64.deb2024-Dec-19 20:49:064.2Mapplication/vnd.debian.binary-package
libcoq-quickchick_2.0.5-1_s390x.deb2024-Dec-18 17:43:504.0Mapplication/vnd.debian.binary-package
quickchick_1.6.4-3+b1_amd64.deb2023-Feb-14 07:11:1654.3Kapplication/vnd.debian.binary-package
quickchick_1.6.4-3+b1_arm64.deb2023-Feb-14 07:11:1454.3Kapplication/vnd.debian.binary-package
quickchick_1.6.4-3+b1_armhf.deb2023-Feb-14 07:11:1754.3Kapplication/vnd.debian.binary-package
quickchick_1.6.4-3+b1_i386.deb2023-Feb-14 07:16:2554.3Kapplication/vnd.debian.binary-package
quickchick_1.6.4-3+b1_ppc64el.deb2023-Feb-14 14:13:4454.3Kapplication/vnd.debian.binary-package
quickchick_1.6.4-3+b1_s390x.deb2023-Feb-14 07:26:4954.3Kapplication/vnd.debian.binary-package
quickchick_2.0.4-1_amd64.deb2024-Nov-21 01:03:11468.8Kapplication/vnd.debian.binary-package
quickchick_2.0.4-1_arm64.deb2024-Nov-20 21:15:12512.7Kapplication/vnd.debian.binary-package
quickchick_2.0.4-1_ppc64el.deb2024-Nov-20 19:48:39485.5Kapplication/vnd.debian.binary-package
quickchick_2.0.4-1_riscv64.deb2024-Nov-21 05:46:19486.9Kapplication/vnd.debian.binary-package
quickchick_2.0.4-1_s390x.deb2024-Nov-22 00:02:28475.1Kapplication/vnd.debian.binary-package
quickchick_2.0.5-1+b1_amd64.deb2024-Dec-19 20:49:09469.8Kapplication/vnd.debian.binary-package
quickchick_2.0.5-1+b1_arm64.deb2024-Dec-19 22:31:06513.6Kapplication/vnd.debian.binary-package
quickchick_2.0.5-1+b1_ppc64el.deb2024-Dec-19 19:56:34485.9Kapplication/vnd.debian.binary-package
quickchick_2.0.5-1+b1_riscv64.deb2024-Dec-19 20:49:06487.7Kapplication/vnd.debian.binary-package
quickchick_2.0.5-1_s390x.deb2024-Dec-18 17:43:50476.6Kapplication/vnd.debian.binary-package
lighttpd/1.4.45