| Name | Size | Modified |
|---|---|---|
| libcoq-quickchick_1.6.4-3+b1_amd64.deb | 1.5 MiB | 2023-02-14 06:11:16 |
| libcoq-quickchick_2.1.0-1+b2_amd64.deb | 4.1 MiB | 2025-06-15 11:30:23 |
| libcoq-quickchick_2.2.0-3+b2_amd64.deb | 3.3 MiB | 2026-09-19 02:36:46 |
| quickchick_1.6.4-3+b1_amd64.deb | 54.4 KiB | 2023-02-14 06:11:16 |
| quickchick_2.1.0-1+b2_amd64.deb | 480.7 KiB | 2025-06-15 11:30:23 |
| quickchick_2.2.0-3+b2_amd64.deb | 490.0 KiB | 2026-09-19 02:36:46 |