| name | size | date |
|---|---|---|
| libcoq-deriving_0.2.0-3build5_amd64.deb | 507.9K | 2025-09-13 01:33:22 |
| libcoq-deriving_0.1.0-2build2_amd64.deb | 467.6K | 2024-11-26 13:18:51 |
| libcoq-deriving_0.1.1-1build1_amd64.deb | 467.9K | 2024-11-15 03:05:03 |
| libcoq-deriving_0.1.0-1_amd64.deb | 475.1K | 2023-08-11 04:18:07 |