| 📂 Parent Directory | | |
| 📄 coq-quickchick_2.0.2-1build5.debian.tar.xz | 2024-04-08 07:57:38 | 3.22 KB |
| 📄 coq-quickchick_2.0.2-1build5.dsc | 2024-04-08 07:57:38 | 2.3 KB |
| 📄 coq-quickchick_2.0.2.orig.tar.gz | 2024-01-20 23:35:34 | 405.88 KB |
| 📄 coq-quickchick_2.0.5-1build6.debian.tar.xz | 2025-02-19 07:52:06 | 2.99 KB |
| 📄 coq-quickchick_2.0.5-1build6.dsc | 2025-02-19 07:52:06 | 2.22 KB |
| 📄 coq-quickchick_2.0.5.orig.tar.gz | 2024-12-18 23:41:43 | 403.34 KB |
| 📄 coq-quickchick_2.1.0-1build4.debian.tar.xz | 2025-08-31 19:42:09 | 2.98 KB |
| 📄 coq-quickchick_2.1.0-1build4.dsc | 2025-08-31 19:42:09 | 2.22 KB |
| 📄 coq-quickchick_2.1.0.orig.tar.gz | 2025-05-01 16:23:25 | 404.83 KB |
| 📄 libcoq-quickchick_2.0.2-1build5_amd64.deb | 2024-04-08 14:36:31 | 1.86 MB |
| 📄 libcoq-quickchick_2.0.5-1build6_amd64.deb | 2025-02-20 04:20:13 | 4.29 MB |
| 📄 libcoq-quickchick_2.1.0-1build4_amd64.deb | 2025-09-01 19:52:29 | 4.31 MB |
| 📄 quickchick_2.0.2-1build5_amd64.deb | 2024-04-08 14:36:31 | 64.97 KB |
| 📄 quickchick_2.0.5-1build6_amd64.deb | 2025-02-20 04:20:13 | 553.74 KB |
| 📄 quickchick_2.1.0-1build4_amd64.deb | 2025-09-01 19:52:29 | 528.5 KB |
