Index of /ubuntu-ports/pool/universe/c/coq/

../
coq_8.15.0+dfsg-2.debian.tar.xz                    30-Aug-2023 22:30               39672
coq_8.15.0+dfsg-2.dsc                              30-Aug-2023 22:30                2599
coq_8.15.0+dfsg-2_arm64.deb                        30-Aug-2023 22:30           106715046
coq_8.15.0+dfsg.orig.tar.xz                        30-Aug-2023 22:30             4669948
coq_8.18.0+dfsg-1build2.debian.tar.xz              11-Apr-2024 00:15               33336
coq_8.18.0+dfsg-1build2.dsc                        11-Apr-2024 00:15                2685
coq_8.18.0+dfsg-1build2_arm64.deb                  11-Apr-2024 00:15           106631086
coq_8.18.0+dfsg.orig.tar.xz                        01-Feb-2024 00:13             4868368
coqide_8.15.0+dfsg-2_arm64.deb                     30-Aug-2023 22:30             2877382
coqide_8.18.0+dfsg-1build2_arm64.deb               11-Apr-2024 00:15             2820174
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb      30-Aug-2023 22:30            45581026
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64..> 11-Apr-2024 00:15            51860872
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb          30-Aug-2023 22:30            28397634
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb    11-Apr-2024 00:15            29203264
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb              30-Aug-2023 22:30            24696054
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb        11-Apr-2024 00:15            26512160