Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/c/coq/

../
coq_8.18.0+dfsg-1build2_arm64.deb                  01-Apr-2024 01:55           106631086
coqide_8.18.0+dfsg-1build2_arm64.deb               01-Apr-2024 01:55             2820174
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64..> 01-Apr-2024 01:55            51860872
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb    01-Apr-2024 01:55            29203264
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb        01-Apr-2024 01:55            26512160