| 📂 Parent Directory | | |
| 📄 coq-quickchick_1.6.4-3.debian.tar.xz | 2023-01-27 06:18:56 | 2.66 KB |
| 📄 coq-quickchick_1.6.4-3.dsc | 2023-01-27 06:18:56 | 2.21 KB |
| 📄 coq-quickchick_1.6.4.orig.tar.gz | 2022-08-15 06:38:36 | 379.36 KB |
| 📄 coq-quickchick_2.1.0-1.debian.tar.xz | 2025-03-18 12:33:51 | 2.84 KB |
| 📄 coq-quickchick_2.1.0-1.dsc | 2025-03-18 12:33:51 | 2.23 KB |
| 📄 coq-quickchick_2.1.0.orig.tar.gz | 2025-03-18 12:33:51 | 404.83 KB |
| 📄 coq-quickchick_2.2.0-3.debian.tar.xz | 2026-08-12 07:26:56 | 3.8 KB |
| 📄 coq-quickchick_2.2.0-3.dsc | 2026-08-12 07:26:56 | 2.25 KB |
| 📄 coq-quickchick_2.2.0.orig.tar.gz | 2026-07-20 20:12:09 | 406.97 KB |
| 📄 libcoq-quickchick_1.6.4-3+b1_amd64.deb | 2023-02-14 06:11:16 | 1.51 MB |
| 📄 libcoq-quickchick_1.6.4-3+b1_arm64.deb | 2023-02-14 06:11:14 | 1.53 MB |
| 📄 libcoq-quickchick_1.6.4-3+b1_armhf.deb | 2023-02-14 06:11:17 | 1.51 MB |
| 📄 libcoq-quickchick_1.6.4-3+b1_i386.deb | 2023-02-14 06:16:25 | 1.49 MB |
| 📄 libcoq-quickchick_1.6.4-3+b1_ppc64el.deb | 2023-02-14 13:13:44 | 1.51 MB |
| 📄 libcoq-quickchick_1.6.4-3+b1_s390x.deb | 2023-02-14 06:26:49 | 1.51 MB |
| 📄 libcoq-quickchick_2.1.0-1+b1_riscv64.deb | 2025-06-17 21:40:10 | 4.21 MB |
| 📄 libcoq-quickchick_2.1.0-1+b2_amd64.deb | 2025-06-15 11:30:23 | 4.06 MB |
| 📄 libcoq-quickchick_2.1.0-1+b2_arm64.deb | 2025-06-15 11:35:28 | 4.06 MB |
| 📄 libcoq-quickchick_2.1.0-1+b2_ppc64el.deb | 2025-06-15 11:20:19 | 4.07 MB |
| 📄 libcoq-quickchick_2.1.0-1+b2_s390x.deb | 2025-06-17 22:47:58 | 4.04 MB |
| 📄 libcoq-quickchick_2.2.0-3+b1_amd64.deb | 2026-08-26 17:08:37 | 3.34 MB |
| 📄 libcoq-quickchick_2.2.0-3+b1_arm64.deb | 2026-08-26 16:43:11 | 3.37 MB |
| 📄 libcoq-quickchick_2.2.0-3+b1_ppc64el.deb | 2026-08-26 17:39:42 | 3.36 MB |
| 📄 libcoq-quickchick_2.2.0-3+b1_riscv64.deb | 2026-08-27 07:12:01 | 3.51 MB |
| 📄 libcoq-quickchick_2.2.0-3+b1_s390x.deb | 2026-08-26 17:19:18 | 3.33 MB |
| 📄 quickchick_1.6.4-3+b1_amd64.deb | 2023-02-14 06:11:16 | 54.36 KB |
| 📄 quickchick_1.6.4-3+b1_arm64.deb | 2023-02-14 06:11:14 | 54.35 KB |
| 📄 quickchick_1.6.4-3+b1_armhf.deb | 2023-02-14 06:11:17 | 54.35 KB |
| 📄 quickchick_1.6.4-3+b1_i386.deb | 2023-02-14 06:16:25 | 54.35 KB |
| 📄 quickchick_1.6.4-3+b1_ppc64el.deb | 2023-02-14 13:13:44 | 54.37 KB |
| 📄 quickchick_1.6.4-3+b1_s390x.deb | 2023-02-14 06:26:49 | 54.37 KB |
| 📄 quickchick_2.1.0-1+b1_riscv64.deb | 2025-06-17 21:40:10 | 499.94 KB |
| 📄 quickchick_2.1.0-1+b2_amd64.deb | 2025-06-15 11:30:23 | 480.73 KB |
| 📄 quickchick_2.1.0-1+b2_arm64.deb | 2025-06-15 11:35:28 | 523.6 KB |
| 📄 quickchick_2.1.0-1+b2_ppc64el.deb | 2025-06-15 11:20:19 | 499.4 KB |
| 📄 quickchick_2.1.0-1+b2_s390x.deb | 2025-06-17 22:47:58 | 486.41 KB |
| 📄 quickchick_2.2.0-3+b1_amd64.deb | 2026-08-26 17:08:37 | 492.07 KB |
| 📄 quickchick_2.2.0-3+b1_arm64.deb | 2026-08-26 16:43:11 | 527.26 KB |
| 📄 quickchick_2.2.0-3+b1_ppc64el.deb | 2026-08-26 17:39:42 | 507.89 KB |
| 📄 quickchick_2.2.0-3+b1_riscv64.deb | 2026-08-27 07:12:01 | 512.3 KB |
| 📄 quickchick_2.2.0-3+b1_s390x.deb | 2026-08-26 17:19:18 | 502.76 KB |
