| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| libcoq-bignums_8.15.0-7_amd64.deb | 2108874 | 2022-Jun-15 19:49 |
| coq-bignums_8.15.0.orig.tar.gz | 115485 | 2022-May-13 07:20 |
| libcoq-bignums-ocaml_8.15.0-7_amd64.deb | 16540 | 2022-Jun-15 19:49 |
| libcoq-bignums-ocaml-dev_8.15.0-7_amd64.deb | 9012 | 2022-Jun-15 19:49 |
| coq-bignums_8.15.0-7.dsc | 2244 | 2022-Jun-15 17:29 |
| coq-bignums_8.15.0-7.debian.tar.xz | 1940 | 2022-Jun-15 17:29 |