| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| coq-unicoq_1.6-8.15-2.debian.tar.xz | 2276 | 2022-Jul-20 23:19 |
| coq-unicoq_1.6-8.15-2.dsc | 2079 | 2022-Jul-20 23:19 |
| coq-unicoq_1.6-8.15.orig.tar.gz | 593602 | 2022-Jul-20 23:19 |
| coq-unicoq_1.6-8.16-2build2.debian.tar.xz | 2440 | 2023-Feb-16 18:50 |
| coq-unicoq_1.6-8.16-2build2.dsc | 2083 | 2023-Feb-16 18:50 |
| coq-unicoq_1.6-8.16.orig.tar.gz | 593541 | 2022-Nov-06 03:17 |
| libcoq-unicoq_1.6-8.15-2_amd64.deb | 84182 | 2022-Jul-21 05:39 |
| libcoq-unicoq_1.6-8.16-2build2_amd64.deb | 85588 | 2023-Feb-16 18:50 |