| 📂 Parent Directory | | |
| 📄 coq-theories_8.12.0-3+b2_armhf.deb | 2020-12-03 17:49:08 | 22.81 MB |
| 📄 coq-theories_8.9.0-1_armhf.deb | 2019-02-25 10:08:13 | 19.41 MB |
| 📄 coq_8.12.0-3+b2_armhf.deb | 2020-12-03 17:49:09 | 82.04 MB |
| 📄 coq_8.12.0-3.debian.tar.xz | 2020-09-10 06:38:30 | 36.89 KB |
| 📄 coq_8.12.0-3.dsc | 2020-09-10 06:38:30 | 2.42 KB |
| 📄 coq_8.12.0.orig.tar.gz | 2020-08-22 09:26:38 | 5.73 MB |
| 📄 coq_8.16.1+dfsg-1+b2_armhf.deb | 2023-05-20 16:08:03 | 82.58 MB |
| 📄 coq_8.16.1+dfsg-1.debian.tar.xz | 2022-11-29 08:35:18 | 32.46 KB |
| 📄 coq_8.16.1+dfsg-1.dsc | 2022-11-29 08:35:18 | 2.57 KB |
| 📄 coq_8.16.1+dfsg.orig.tar.xz | 2022-11-29 08:35:18 | 4.5 MB |
| 📄 coq_8.20.1+dfsg-1.debian.tar.xz | 2025-02-17 16:37:02 | 29.5 KB |
| 📄 coq_8.20.1+dfsg-1.dsc | 2025-02-17 16:37:02 | 2.52 KB |
| 📄 coq_8.20.1+dfsg.orig.tar.xz | 2025-02-17 16:37:02 | 4.78 MB |
| 📄 coq_8.9.0-1.debian.tar.xz | 2019-02-06 18:49:32 | 27.16 KB |
| 📄 coq_8.9.0-1.dsc | 2019-02-06 18:49:32 | 2.36 KB |
| 📄 coq_8.9.0-1_armhf.deb | 2019-02-25 10:08:13 | 53.06 MB |
| 📄 coq_8.9.0.orig.tar.gz | 2019-02-06 18:49:32 | 5.15 MB |
| 📄 coqide_8.12.0-3+b2_armhf.deb | 2020-12-03 17:49:09 | 1.56 MB |
| 📄 coqide_8.16.1+dfsg-1+b2_armhf.deb | 2023-05-20 16:08:03 | 1.65 MB |
| 📄 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb | 2023-05-20 16:08:03 | 41.05 MB |
| 📄 libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb | 2023-05-20 16:08:03 | 21.1 MB |
| 📄 libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb | 2020-12-03 17:49:09 | 18.19 MB |
| 📄 libcoq-ocaml-dev_8.9.0-1_armhf.deb | 2019-02-25 10:08:13 | 13.64 MB |
| 📄 libcoq-ocaml_8.12.0-3+b2_armhf.deb | 2020-12-03 17:49:09 | 7.32 MB |
| 📄 libcoq-ocaml_8.9.0-1_armhf.deb | 2019-02-25 10:08:13 | 5.08 MB |
| 📄 libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb | 2023-05-20 16:08:03 | 20.53 MB |
