| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| coq_8.16.1+dfsg-1+b2_amd64.deb | 93212572 | 2026-Jan-06 20:00 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb | 42725424 | 2026-Jan-06 20:00 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb | 22556068 | 2026-Jan-06 20:00 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb | 21526056 | 2026-Jan-06 20:00 |
| coqide_8.16.1+dfsg-1+b2_amd64.deb | 1993412 | 2026-Jan-06 20:00 |