| / | | |
| coq-quickchick_1.6.4-3.debian.tar.xz | 2,724 | Fri, 27 Jan 2023 06:18:56 +0000 |
| coq-quickchick_1.6.4-3.dsc | 2,261 | Fri, 27 Jan 2023 06:18:56 +0000 |
| coq-quickchick_1.6.4.orig.tar.gz | 388,461 | Mon, 15 Aug 2022 06:38:36 +0000 |
| coq-quickchick_2.1.0-1.debian.tar.xz | 2,908 | Tue, 18 Mar 2025 12:33:51 +0000 |
| coq-quickchick_2.1.0-1.dsc | 2,288 | Tue, 18 Mar 2025 12:33:51 +0000 |
| coq-quickchick_2.1.0.orig.tar.gz | 414,544 | Tue, 18 Mar 2025 12:33:51 +0000 |
| libcoq-quickchick_1.6.4-3+b1_amd64.deb | 1,584,008 | Tue, 14 Feb 2023 06:11:16 +0000 |
| libcoq-quickchick_1.6.4-3+b1_arm64.deb | 1,605,120 | Tue, 14 Feb 2023 06:11:14 +0000 |
| libcoq-quickchick_1.6.4-3+b1_armhf.deb | 1,579,732 | Tue, 14 Feb 2023 06:11:17 +0000 |
| libcoq-quickchick_1.6.4-3+b1_i386.deb | 1,567,080 | Tue, 14 Feb 2023 06:16:25 +0000 |
| libcoq-quickchick_1.6.4-3+b1_ppc64el.deb | 1,588,264 | Tue, 14 Feb 2023 13:13:44 +0000 |
| libcoq-quickchick_1.6.4-3+b1_s390x.deb | 1,587,008 | Tue, 14 Feb 2023 06:26:49 +0000 |
| libcoq-quickchick_2.1.0-1+b1_riscv64.deb | 4,416,132 | Tue, 17 Jun 2025 21:40:10 +0000 |
| libcoq-quickchick_2.1.0-1+b2_amd64.deb | 4,253,160 | Sun, 15 Jun 2025 11:30:23 +0000 |
| libcoq-quickchick_2.1.0-1+b2_arm64.deb | 4,262,452 | Sun, 15 Jun 2025 11:35:28 +0000 |
| libcoq-quickchick_2.1.0-1+b2_ppc64el.deb | 4,265,544 | Sun, 15 Jun 2025 11:20:19 +0000 |
| libcoq-quickchick_2.1.0-1+b2_s390x.deb | 4,231,724 | Tue, 17 Jun 2025 22:47:58 +0000 |
| quickchick_1.6.4-3+b1_amd64.deb | 55,660 | Tue, 14 Feb 2023 06:11:16 +0000 |
| quickchick_1.6.4-3+b1_arm64.deb | 55,652 | Tue, 14 Feb 2023 06:11:14 +0000 |
| quickchick_1.6.4-3+b1_armhf.deb | 55,656 | Tue, 14 Feb 2023 06:11:17 +0000 |
| quickchick_1.6.4-3+b1_i386.deb | 55,656 | Tue, 14 Feb 2023 06:16:25 +0000 |
| quickchick_1.6.4-3+b1_ppc64el.deb | 55,676 | Tue, 14 Feb 2023 13:13:44 +0000 |
| quickchick_1.6.4-3+b1_s390x.deb | 55,672 | Tue, 14 Feb 2023 06:26:49 +0000 |
| quickchick_2.1.0-1+b1_riscv64.deb | 511,940 | Tue, 17 Jun 2025 21:40:10 +0000 |
| quickchick_2.1.0-1+b2_amd64.deb | 492,264 | Sun, 15 Jun 2025 11:30:23 +0000 |
| quickchick_2.1.0-1+b2_arm64.deb | 536,168 | Sun, 15 Jun 2025 11:35:28 +0000 |
| quickchick_2.1.0-1+b2_ppc64el.deb | 511,388 | Sun, 15 Jun 2025 11:20:19 +0000 |
| quickchick_2.1.0-1+b2_s390x.deb | 498,080 | Tue, 17 Jun 2025 22:47:58 +0000 |