| 📂 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.3-3build5.debian.tar.xz | 2024-09-17 16:56:32 | 2.94 KB |
| 📄 coq-quickchick_2.0.3-3build5.dsc | 2024-09-17 16:56:32 | 2.22 KB |
| 📄 coq-quickchick_2.0.3.orig.tar.gz | 2024-05-02 11:53:14 | 401.98 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 |
| 📄 libcoq-quickchick_2.0.2-1build5_amd64.deb | 2024-04-08 14:36:31 | 1.86 MB |
| 📄 libcoq-quickchick_2.0.3-3build5_amd64.deb | 2024-09-19 23:39:49 | 4.34 MB |
| 📄 libcoq-quickchick_2.0.5-1build6_amd64.deb | 2025-02-20 04:20:13 | 4.29 MB |
| 📄 quickchick_2.0.2-1build5_amd64.deb | 2024-04-08 14:36:31 | 64.97 KB |
| 📄 quickchick_2.0.3-3build5_amd64.deb | 2024-09-19 23:39:49 | 517.15 KB |
| 📄 quickchick_2.0.5-1build6_amd64.deb | 2025-02-20 04:20:13 | 553.74 KB |
