Index of /ubuntu-ports/pool/universe/c/coq-quickchick/
../ coq-quickchick_2.0.2-1build5.debian.tar.xz 08-Apr-2024 16:57 3300 coq-quickchick_2.0.2-1build5.dsc 08-Apr-2024 16:57 2353 coq-quickchick_2.0.2.orig.tar.gz 21-Jan-2024 08:35 406K coq-quickchick_2.0.3-3build5.debian.tar.xz 18-Sep-2024 01:56 3008 coq-quickchick_2.0.3-3build5.dsc 18-Sep-2024 01:56 2274 coq-quickchick_2.0.3.orig.tar.gz 02-May-2024 20:53 402K coq-quickchick_2.0.5-1build6.debian.tar.xz 19-Feb-2025 16:52 3064 coq-quickchick_2.0.5-1build6.dsc 19-Feb-2025 16:52 2274 coq-quickchick_2.0.5.orig.tar.gz 19-Dec-2024 08:41 403K coq-quickchick_2.1.0-1.debian.tar.xz 02-May-2025 01:23 2908 coq-quickchick_2.1.0-1.dsc 02-May-2025 01:23 2288 coq-quickchick_2.1.0.orig.tar.gz 02-May-2025 01:23 405K libcoq-quickchick_2.0.2-1build5_arm64.deb 08-Apr-2024 23:36 2M libcoq-quickchick_2.0.2-1build5_armhf.deb 08-Apr-2024 23:36 2M libcoq-quickchick_2.0.2-1build5_ppc64el.deb 08-Apr-2024 23:36 2M libcoq-quickchick_2.0.2-1build5_riscv64.deb 09-Apr-2024 16:00 2M libcoq-quickchick_2.0.2-1build5_s390x.deb 08-Apr-2024 23:36 2M libcoq-quickchick_2.0.3-3build5_arm64.deb 20-Sep-2024 08:39 4M libcoq-quickchick_2.0.3-3build5_ppc64el.deb 20-Sep-2024 13:15 4M libcoq-quickchick_2.0.3-3build5_riscv64.deb 20-Sep-2024 19:37 5M libcoq-quickchick_2.0.3-3build5_s390x.deb 20-Sep-2024 08:39 4M libcoq-quickchick_2.0.5-1build6_arm64.deb 21-Feb-2025 00:13 4M libcoq-quickchick_2.0.5-1build6_ppc64el.deb 20-Feb-2025 13:20 4M libcoq-quickchick_2.0.5-1build6_riscv64.deb 21-Feb-2025 05:17 5M libcoq-quickchick_2.0.5-1build6_s390x.deb 20-Feb-2025 13:21 4M libcoq-quickchick_2.1.0-1_arm64.deb 02-May-2025 08:02 4M libcoq-quickchick_2.1.0-1_ppc64el.deb 02-May-2025 08:14 4M libcoq-quickchick_2.1.0-1_riscv64.deb 03-May-2025 02:59 5M libcoq-quickchick_2.1.0-1_s390x.deb 02-May-2025 08:18 4M quickchick_2.0.2-1build5_arm64.deb 08-Apr-2024 23:36 65K quickchick_2.0.2-1build5_armhf.deb 08-Apr-2024 23:36 65K quickchick_2.0.2-1build5_ppc64el.deb 08-Apr-2024 23:36 65K quickchick_2.0.2-1build5_riscv64.deb 09-Apr-2024 16:00 65K quickchick_2.0.2-1build5_s390x.deb 08-Apr-2024 23:36 65K quickchick_2.0.3-3build5_arm64.deb 20-Sep-2024 08:39 590K quickchick_2.0.3-3build5_ppc64el.deb 20-Sep-2024 13:15 576K quickchick_2.0.3-3build5_riscv64.deb 20-Sep-2024 19:37 554K quickchick_2.0.3-3build5_s390x.deb 20-Sep-2024 08:39 547K quickchick_2.0.5-1build6_arm64.deb 21-Feb-2025 00:13 602K quickchick_2.0.5-1build6_ppc64el.deb 20-Feb-2025 13:20 591K quickchick_2.0.5-1build6_riscv64.deb 21-Feb-2025 05:17 566K quickchick_2.0.5-1build6_s390x.deb 20-Feb-2025 13:21 559K quickchick_2.1.0-1_arm64.deb 02-May-2025 08:02 608K quickchick_2.1.0-1_ppc64el.deb 02-May-2025 08:14 591K quickchick_2.1.0-1_riscv64.deb 03-May-2025 02:59 566K quickchick_2.1.0-1_s390x.deb 02-May-2025 08:18 559K