| name | size | date |
|---|---|---|
| libcoq-quickchick_2.1.0-1.1build5_amd64.deb | 3.96M | 2026-03-07 19:01:12 |
| quickchick_2.1.0-1.1build5_amd64.deb | 0.53M | 2026-03-07 19:01:12 |
| libcoq-quickchick_2.1.0-1build4_amd64.deb | 4.31M | 2025-09-01 19:52:29 |
| quickchick_2.1.0-1build4_amd64.deb | 0.52M | 2025-09-01 19:52:29 |
| libcoq-quickchick_2.0.5-1build6_amd64.deb | 4.29M | 2025-02-20 04:20:13 |
| quickchick_2.0.5-1build6_amd64.deb | 0.54M | 2025-02-20 04:20:13 |
| libcoq-quickchick_2.0.2-1build5_amd64.deb | 1.86M | 2024-04-08 14:36:31 |
| quickchick_2.0.2-1build5_amd64.deb | 65.0K | 2024-04-08 14:36:31 |