| name | size | date |
|---|---|---|
| libcoq-reglang_1.2.1-4build5_amd64.deb | 0.93M | 2025-09-13 01:37:04 |
| libcoq-reglang_1.1.3-2build2_amd64.deb | 0.79M | 2024-11-26 13:19:31 |
| libcoq-reglang_1.1.3-4build1_amd64.deb | 0.79M | 2024-11-15 03:05:09 |
| libcoq-reglang_1.1.3-1_amd64.deb | 0.79M | 2023-08-11 04:18:28 |