Index of /ubuntu-ports/pool/universe/c/coq-quickchick/
../ coq-quickchick_1.6.4-1.debian.tar.xz 15-Aug-2022 18:39 2636 coq-quickchick_1.6.4-1.dsc 15-Aug-2022 18:39 2256 coq-quickchick_1.6.4-2build2.debian.tar.xz 04-Dec-2022 02:54 2768 coq-quickchick_1.6.4-2build2.dsc 04-Dec-2022 02:54 2255 coq-quickchick_1.6.4-2build3.debian.tar.xz 27-Jan-2023 16:04 2784 coq-quickchick_1.6.4-2build3.dsc 27-Jan-2023 16:04 2255 coq-quickchick_1.6.4-3.debian.tar.xz 27-Jan-2023 18:55 2724 coq-quickchick_1.6.4-3.dsc 27-Jan-2023 18:55 2261 coq-quickchick_1.6.4-3build3.debian.tar.xz 17-Feb-2023 14:29 2812 coq-quickchick_1.6.4-3build3.dsc 17-Feb-2023 14:29 2260 coq-quickchick_1.6.4.orig.tar.gz 15-Aug-2022 18:39 379K libcoq-quickchick_1.6.4-1_arm64.deb 22-Aug-2022 13:54 2M libcoq-quickchick_1.6.4-1_armhf.deb 22-Aug-2022 13:54 2M libcoq-quickchick_1.6.4-1_ppc64el.deb 22-Aug-2022 13:54 2M libcoq-quickchick_1.6.4-1_riscv64.deb 22-Aug-2022 14:19 2M libcoq-quickchick_1.6.4-1_s390x.deb 22-Aug-2022 14:19 2M libcoq-quickchick_1.6.4-2build2_arm64.deb 04-Dec-2022 02:54 2M libcoq-quickchick_1.6.4-2build2_armhf.deb 04-Dec-2022 02:54 2M libcoq-quickchick_1.6.4-2build2_ppc64el.deb 04-Dec-2022 02:54 2M libcoq-quickchick_1.6.4-2build2_riscv64.deb 04-Dec-2022 03:13 2M libcoq-quickchick_1.6.4-2build2_s390x.deb 04-Dec-2022 02:54 2M libcoq-quickchick_1.6.4-2build3_arm64.deb 27-Jan-2023 16:04 2M libcoq-quickchick_1.6.4-2build3_armhf.deb 27-Jan-2023 16:04 2M libcoq-quickchick_1.6.4-2build3_ppc64el.deb 27-Jan-2023 16:04 2M libcoq-quickchick_1.6.4-2build3_riscv64.deb 27-Jan-2023 16:28 2M libcoq-quickchick_1.6.4-2build3_s390x.deb 27-Jan-2023 16:04 2M libcoq-quickchick_1.6.4-3_arm64.deb 27-Jan-2023 18:55 2M libcoq-quickchick_1.6.4-3_armhf.deb 27-Jan-2023 18:55 2M libcoq-quickchick_1.6.4-3_ppc64el.deb 27-Jan-2023 18:55 2M libcoq-quickchick_1.6.4-3_riscv64.deb 27-Jan-2023 19:23 2M libcoq-quickchick_1.6.4-3_s390x.deb 27-Jan-2023 18:55 2M libcoq-quickchick_1.6.4-3build3_arm64.deb 17-Feb-2023 14:29 2M libcoq-quickchick_1.6.4-3build3_armhf.deb 17-Feb-2023 14:29 2M libcoq-quickchick_1.6.4-3build3_ppc64el.deb 17-Feb-2023 14:29 2M libcoq-quickchick_1.6.4-3build3_riscv64.deb 17-Feb-2023 15:33 2M libcoq-quickchick_1.6.4-3build3_s390x.deb 17-Feb-2023 14:29 2M quickchick_1.6.4-1_arm64.deb 22-Aug-2022 13:54 62K quickchick_1.6.4-1_armhf.deb 22-Aug-2022 13:54 62K quickchick_1.6.4-1_ppc64el.deb 22-Aug-2022 13:54 62K quickchick_1.6.4-1_riscv64.deb 22-Aug-2022 14:19 62K quickchick_1.6.4-1_s390x.deb 22-Aug-2022 14:19 62K quickchick_1.6.4-2build2_arm64.deb 04-Dec-2022 02:54 62K quickchick_1.6.4-2build2_armhf.deb 04-Dec-2022 02:54 62K quickchick_1.6.4-2build2_ppc64el.deb 04-Dec-2022 02:54 62K quickchick_1.6.4-2build2_riscv64.deb 04-Dec-2022 03:13 62K quickchick_1.6.4-2build2_s390x.deb 04-Dec-2022 02:54 62K quickchick_1.6.4-2build3_arm64.deb 27-Jan-2023 16:04 62K quickchick_1.6.4-2build3_armhf.deb 27-Jan-2023 16:04 62K quickchick_1.6.4-2build3_ppc64el.deb 27-Jan-2023 16:04 62K quickchick_1.6.4-2build3_riscv64.deb 27-Jan-2023 16:28 62K quickchick_1.6.4-2build3_s390x.deb 27-Jan-2023 16:04 62K quickchick_1.6.4-3_arm64.deb 27-Jan-2023 18:55 62K quickchick_1.6.4-3_armhf.deb 27-Jan-2023 18:55 62K quickchick_1.6.4-3_ppc64el.deb 27-Jan-2023 18:55 62K quickchick_1.6.4-3_riscv64.deb 27-Jan-2023 19:23 62K quickchick_1.6.4-3_s390x.deb 27-Jan-2023 18:55 62K quickchick_1.6.4-3build3_arm64.deb 17-Feb-2023 14:29 62K quickchick_1.6.4-3build3_armhf.deb 17-Feb-2023 14:29 62K quickchick_1.6.4-3build3_ppc64el.deb 17-Feb-2023 14:29 62K quickchick_1.6.4-3build3_riscv64.deb 17-Feb-2023 15:33 62K quickchick_1.6.4-3build3_s390x.deb 17-Feb-2023 14:29 62K