| ⬆️Parent directory | — | — |
| 📦coq-quickchick_1.6.4-3.debian.tar.xz | 2.67K | Fri Jan 27 2023 |
| 📄coq-quickchick_1.6.4-3.dsc | 2.21K | Fri Jan 27 2023 |
| 📦coq-quickchick_1.6.4.orig.tar.gz | 380K | Mon Aug 15 2022 |
| 📦coq-quickchick_2.1.0-1.debian.tar.xz | 2.84K | Tue Mar 18 2025 |
| 📄coq-quickchick_2.1.0-1.dsc | 2.24K | Tue Mar 18 2025 |
| 📦coq-quickchick_2.1.0.orig.tar.gz | 405K | Tue Mar 18 2025 |
| 📦coq-quickchick_2.2.0-3.debian.tar.xz | 3.81K | Wed Aug 12 2026 |
| 📄coq-quickchick_2.2.0-3.dsc | 2.26K | Wed Aug 12 2026 |
| 📦coq-quickchick_2.2.0.orig.tar.gz | 407K | Tue Jul 21 2026 |
| 📦libcoq-quickchick_1.6.4-3+b1_amd64.deb | 1.52M | Tue Feb 14 2023 |
| 📦libcoq-quickchick_1.6.4-3+b1_i386.deb | 1.5M | Tue Feb 14 2023 |
| 📦libcoq-quickchick_2.1.0-1+b2_amd64.deb | 4.06M | Sun Jun 15 2025 |
| 📦libcoq-quickchick_2.2.0-3+b2_amd64.deb | 3.34M | Sat Sep 19 2026 |
| 📦quickchick_1.6.4-3+b1_amd64.deb | 54.4K | Tue Feb 14 2023 |
| 📦quickchick_1.6.4-3+b1_i386.deb | 54.4K | Tue Feb 14 2023 |
| 📦quickchick_2.1.0-1+b2_amd64.deb | 481K | Sun Jun 15 2025 |
| 📦quickchick_2.2.0-3+b2_amd64.deb | 490K | Sat Sep 19 2026 |