| name | size | date |
|---|---|---|
| libcoq-coqprime_8.19-2build3_amd64.deb | 1.98M | 2025-09-13 01:49:25 |
| coqprime-tools_8.19-2build3_amd64.deb | 180.2K | 2025-09-13 01:49:18 |
| coqprime-tools_8.15-2build2_amd64.deb | 175.8K | 2024-11-26 13:22:07 |
| libcoq-coqprime_8.15-2build2_amd64.deb | 1.82M | 2024-11-26 13:22:07 |
| coqprime-tools_8.17-1build1_amd64.deb | 172.4K | 2024-11-15 03:05:24 |
| libcoq-coqprime_8.17-1build1_amd64.deb | 1.94M | 2024-11-15 03:05:24 |
| coqprime-tools_8.15-1_amd64.deb | 175.8K | 2023-08-11 04:19:28 |
| libcoq-coqprime_8.15-1_amd64.deb | 1.81M | 2023-08-11 04:19:28 |