Index of /mirror/archive.ubuntu.com/ubuntu/pool/universe/c/coq/

../
coq_8.20.1+dfsg-1build4_amd64.deb                  01-Mar-2026 15:54            82457158
coq_8.20.1+dfsg-1build4_arm64.deb                  01-Mar-2026 15:55            87743186
coqide_8.20.1+dfsg-1build4_amd64.deb               01-Mar-2026 15:54             2212144
coqide_8.20.1+dfsg-1build4_arm64.deb               01-Mar-2026 15:55             2648942
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64..> 01-Mar-2026 15:54            59800134
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_arm64..> 01-Mar-2026 15:55            60498278
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb    01-Mar-2026 15:54            28275532
libcoq-core-ocaml_8.20.1+dfsg-1build4_arm64.deb    01-Mar-2026 15:55            29444530
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb        01-Mar-2026 15:54            26919630
libcoq-stdlib_8.20.1+dfsg-1build4_arm64.deb        01-Mar-2026 15:55            26919580