| ../ | | - | Directory |
| coq_8.16.1+dfsg-1+b2_armhf.deb | 2023-May-20 18:08:03 | 82.5M | application/vnd.debian.binary-package |
| coqide_8.16.1+dfsg-1+b2_armhf.deb | 2023-May-20 18:08:03 | 1.6M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb | 2023-May-20 18:08:03 | 41.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb | 2023-May-20 18:08:03 | 21.0M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb | 2023-May-20 18:08:03 | 20.5M | application/vnd.debian.binary-package |