| c | File Name | Size | T | Date |
|---|---|---|---|---|
| - | coq-corn_8.20.0-1.debian.tar.xz | 4296 | xz | 2025-02-17 16:37:02 |
| - | coq-corn_8.20.0-1.dsc | 2117 | dsc | 2025-02-17 16:37:02 |
| - | coq-corn_8.20.0.orig.tar.gz | 1321158 | gz | 2025-02-17 16:37:02 |
| - | libcoq-corn_8.20.0-1+b4_amd64.deb | 13342344 | deb | 2025-06-17 11:08:22 |