| name | size | date |
|---|---|---|
| libcoq-reduction-effects_0.1.5-5build3_amd64.deb | 15.5K | 2025-09-13 01:37:03 |
| libcoq-reduction-effects_0.1.4-3build2_amd64.deb | 13.9K | 2024-11-26 13:19:29 |
| libcoq-reduction-effects_0.1.4-4build1_amd64.deb | 14.1K | 2024-11-15 03:05:09 |
| libcoq-reduction-effects_0.1.4-1_amd64.deb | 13.5K | 2023-08-11 04:18:27 |