| name | size | date |
|---|---|---|
| libcoq-hammer_1.3.2+8.19-2build3_amd64.deb | 0.55M | 2025-09-13 01:33:24 |
| libcoq-hammer_1.3.2+8.16-2build2_amd64.deb | 0.54M | 2024-11-26 13:18:53 |
| libcoq-hammer_1.3.2+8.17-1build1_amd64.deb | 0.54M | 2024-11-15 03:05:05 |
| libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb | 351.8K | 2023-08-11 04:18:16 |
| libcoq-hammer_1.3.2+8.15-1_amd64.deb | 223.5K | 2023-08-11 04:18:16 |