| ../ | | - | Directory |
| coq_8.16.1+dfsg-1+b2_amd64.deb | 2023-Feb-13 02:14:24 | 88.9M | application/vnd.debian.binary-package |
| coq_8.16.1+dfsg-1+b2_arm64.deb | 2023-Feb-13 02:55:59 | 97.4M | application/vnd.debian.binary-package |
| coq_8.16.1+dfsg-1+b2_armhf.deb | 2023-Feb-13 02:55:40 | 85.7M | application/vnd.debian.binary-package |
| coqide_8.16.1+dfsg-1+b2_amd64.deb | 2023-Feb-13 02:14:24 | 1.9M | application/vnd.debian.binary-package |
| coqide_8.16.1+dfsg-1+b2_arm64.deb | 2023-Feb-13 02:55:59 | 2.2M | application/vnd.debian.binary-package |
| coqide_8.16.1+dfsg-1+b2_armhf.deb | 2023-Feb-13 02:55:40 | 1.7M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb | 2023-Feb-13 02:14:24 | 40.7M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb | 2023-Feb-13 02:55:59 | 40.8M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb | 2023-Feb-13 02:55:40 | 41.1M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb | 2023-Feb-13 02:14:24 | 21.5M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb | 2023-Feb-13 02:55:59 | 22.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb | 2023-Feb-13 02:55:40 | 21.2M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb | 2023-Feb-13 02:14:24 | 20.5M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb | 2023-Feb-13 02:55:59 | 20.5M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb | 2023-Feb-13 02:55:40 | 20.5M | application/vnd.debian.binary-package |