| Parent directory/ | - | - |
| coq-quickchick_1.6.4-3build3.debian.tar.xz | 2812 | 17-Feb-2023 07:29 |
| coq-quickchick_1.6.4-3build3.dsc | 2260 | 17-Feb-2023 07:29 |
| coq-quickchick_1.6.4.orig.tar.gz | 388461 | 15-Aug-2022 11:39 |
| coq-quickchick_2.0-2build1.debian.tar.xz | 2964 | 24-Jul-2023 17:37 |
| coq-quickchick_2.0-2build1.dsc | 2260 | 24-Jul-2023 17:37 |
| coq-quickchick_2.0.2-1build2.debian.tar.xz | 3156 | 17-Feb-2024 00:37 |
| coq-quickchick_2.0.2-1build2.dsc | 2274 | 17-Feb-2024 00:37 |
| coq-quickchick_2.0.2.orig.tar.gz | 415619 | 20-Jan-2024 23:35 |
| coq-quickchick_2.0.orig.tar.gz | 409785 | 14-Jun-2023 23:24 |
| libcoq-quickchick_1.6.4-3build3_arm64.deb | 1864406 | 17-Feb-2023 07:29 |
| libcoq-quickchick_1.6.4-3build3_armhf.deb | 1822652 | 17-Feb-2023 07:29 |
| libcoq-quickchick_1.6.4-3build3_ppc64el.deb | 1834522 | 17-Feb-2023 07:29 |
| libcoq-quickchick_1.6.4-3build3_riscv64.deb | 1821830 | 17-Feb-2023 08:33 |
| libcoq-quickchick_1.6.4-3build3_s390x.deb | 1835786 | 17-Feb-2023 07:29 |
| libcoq-quickchick_2.0-2build1_arm64.deb | 2150838 | 26-Jul-2023 09:58 |
| libcoq-quickchick_2.0-2build1_armhf.deb | 2095626 | 26-Jul-2023 09:58 |
| libcoq-quickchick_2.0-2build1_ppc64el.deb | 2109726 | 26-Jul-2023 09:58 |
| libcoq-quickchick_2.0-2build1_riscv64.deb | 2095508 | 26-Jul-2023 10:30 |
| libcoq-quickchick_2.0-2build1_s390x.deb | 2114574 | 26-Jul-2023 09:58 |
| libcoq-quickchick_2.0.2-1build2_arm64.deb | 2004994 | 17-Feb-2024 16:32 |
| libcoq-quickchick_2.0.2-1build2_armhf.deb | 1950804 | 17-Feb-2024 15:52 |
| libcoq-quickchick_2.0.2-1build2_ppc64el.deb | 1963552 | 17-Feb-2024 15:52 |
| libcoq-quickchick_2.0.2-1build2_riscv64.deb | 1961710 | 18-Feb-2024 04:37 |
| libcoq-quickchick_2.0.2-1build2_s390x.deb | 1966534 | 17-Feb-2024 15:52 |
| quickchick_1.6.4-3build3_arm64.deb | 63418 | 17-Feb-2023 07:29 |
| quickchick_1.6.4-3build3_armhf.deb | 63416 | 17-Feb-2023 07:29 |
| quickchick_1.6.4-3build3_ppc64el.deb | 63418 | 17-Feb-2023 07:29 |
| quickchick_1.6.4-3build3_riscv64.deb | 63420 | 17-Feb-2023 08:33 |
| quickchick_1.6.4-3build3_s390x.deb | 63414 | 17-Feb-2023 07:29 |
| quickchick_2.0-2build1_arm64.deb | 63790 | 26-Jul-2023 09:58 |
| quickchick_2.0-2build1_armhf.deb | 63792 | 26-Jul-2023 09:58 |
| quickchick_2.0-2build1_ppc64el.deb | 63796 | 26-Jul-2023 09:58 |
| quickchick_2.0-2build1_riscv64.deb | 63796 | 26-Jul-2023 10:30 |
| quickchick_2.0-2build1_s390x.deb | 63792 | 26-Jul-2023 09:58 |
| quickchick_2.0.2-1build2_arm64.deb | 66310 | 17-Feb-2024 16:32 |
| quickchick_2.0.2-1build2_armhf.deb | 66310 | 17-Feb-2024 15:52 |
| quickchick_2.0.2-1build2_ppc64el.deb | 66312 | 17-Feb-2024 15:52 |
| quickchick_2.0.2-1build2_riscv64.deb | 66312 | 18-Feb-2024 04:37 |
| quickchick_2.0.2-1build2_s390x.deb | 66312 | 17-Feb-2024 15:52 |
