| ⬆️Parent directory | — | — |
| 📦coq-theories_8.12.0-3+b3_amd64.deb | 34.9M | Wed Nov 25 2020 |
| 📦coq-theories_8.12.0-3+b3_i386.deb | 33.7M | Wed Nov 25 2020 |
| 📦coq_8.12.0-3+b3_amd64.deb | 86.3M | Wed Nov 25 2020 |
| 📦coq_8.12.0-3+b3_i386.deb | 83.9M | Wed Nov 25 2020 |
| 📦coq_8.12.0-3.debian.tar.xz | 36.9K | Thu Sep 10 2020 |
| 📄coq_8.12.0-3.dsc | 2.43K | Thu Sep 10 2020 |
| 📦coq_8.12.0.orig.tar.gz | 5.73M | Sat Aug 22 2020 |
| 📦coq_8.16.1+dfsg-1+b2_amd64.deb | 88.9M | Mon Feb 13 2023 |
| 📦coq_8.16.1+dfsg-1+b2_i386.deb | 83.5M | Mon Feb 13 2023 |
| 📦coq_8.16.1+dfsg-1.debian.tar.xz | 32.5K | Tue Nov 29 2022 |
| 📄coq_8.16.1+dfsg-1.dsc | 2.57K | Tue Nov 29 2022 |
| 📦coq_8.16.1+dfsg.orig.tar.xz | 4.5M | Tue Nov 29 2022 |
| 📦coq_8.20.1+dfsg-1+b1_amd64.deb | 67M | Sun Jun 15 2025 |
| 📦coq_8.20.1+dfsg-1.debian.tar.xz | 29.5K | Mon Feb 17 2025 |
| 📄coq_8.20.1+dfsg-1.dsc | 2.53K | Mon Feb 17 2025 |
| 📦coq_8.20.1+dfsg.orig.tar.xz | 4.79M | Mon Feb 17 2025 |
| 📦coq_9.2.0+dfsg-4.debian.tar.xz | 27.7K | Tue Aug 25 2026 |
| 📄coq_9.2.0+dfsg-4.dsc | 2.65K | Tue Aug 25 2026 |
| 📦coq_9.2.0+dfsg-4.git.tar.xz | 10.5M | Tue Aug 25 2026 |
| 📦coq_9.2.0+dfsg-4_amd64.deb | 39.4M | Tue Aug 25 2026 |
| 📦coq_9.2.0+dfsg-4_i386.deb | 23.3M | Tue Aug 25 2026 |
| 📦coq_9.2.0+dfsg.orig.tar.xz | 3.77M | Fri Jul 10 2026 |
| 📦coqide_8.12.0-3+b3_amd64.deb | 1.8M | Wed Nov 25 2020 |
| 📦coqide_8.12.0-3+b3_i386.deb | 1.65M | Wed Nov 25 2020 |
| 📦coqide_8.16.1+dfsg-1+b2_amd64.deb | 1.91M | Mon Feb 13 2023 |
| 📦coqide_8.16.1+dfsg-1+b2_i386.deb | 1.73M | Mon Feb 13 2023 |
| 📦coqide_8.20.1+dfsg-1+b1_amd64.deb | 1.85M | Sun Jun 15 2025 |
| 📦libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb | 40.8M | Mon Feb 13 2023 |
| 📦libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb | 40.5M | Mon Feb 13 2023 |
| 📦libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb | 65.6M | Sun Jun 15 2025 |
| 📦libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb | 53.2M | Tue Aug 25 2026 |
| 📦libcoq-core-ocaml-dev_9.2.0+dfsg-4_i386.deb | 44.5M | Tue Aug 25 2026 |
| 📦libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb | 21.6M | Mon Feb 13 2023 |
| 📦libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb | 20.8M | Mon Feb 13 2023 |
| 📦libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb | 24.8M | Sun Jun 15 2025 |
| 📦libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb | 24.6M | Tue Aug 25 2026 |
| 📦libcoq-core-ocaml_9.2.0+dfsg-4_i386.deb | 17.3M | Tue Aug 25 2026 |
| 📦libcoq-core_9.2.0+dfsg-4_amd64.deb | 1.1M | Tue Aug 25 2026 |
| 📦libcoq-core_9.2.0+dfsg-4_i386.deb | 1.1M | Tue Aug 25 2026 |
| 📦libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb | 17.9M | Wed Nov 25 2020 |
| 📦libcoq-ocaml-dev_8.12.0-3+b3_i386.deb | 17.8M | Wed Nov 25 2020 |
| 📦libcoq-ocaml_8.12.0-3+b3_amd64.deb | 7.4M | Wed Nov 25 2020 |
| 📦libcoq-ocaml_8.12.0-3+b3_i386.deb | 7.23M | Wed Nov 25 2020 |
| 📦libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb | 20.6M | Mon Feb 13 2023 |
| 📦libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb | 20.6M | Mon Feb 13 2023 |
| 📦libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb | 22.5M | Sun Jun 15 2025 |
| 📦rocqide_9.2.0+dfsg-4_amd64.deb | 1.86M | Tue Aug 25 2026 |
| 📦rocqide_9.2.0+dfsg-4_i386.deb | 624K | Tue Aug 25 2026 |