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

../
coq-theories_8.11.0-1_arm64.deb                    30-Aug-2023 22:30            21416488
coq_8.11.0-1.debian.tar.xz                         30-Aug-2023 22:30               31672
coq_8.11.0-1.dsc                                   30-Aug-2023 22:30                2496
coq_8.11.0-1_arm64.deb                             30-Aug-2023 22:30            83935488
coq_8.11.0.orig.tar.gz                             30-Aug-2023 22:30             5825620
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.11.0-1_arm64.deb                          30-Aug-2023 22:30             2113388
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-ocaml-dev_8.11.0-1_arm64.deb                30-Aug-2023 22:30            16432568
libcoq-ocaml_8.11.0-1_arm64.deb                    30-Aug-2023 22:30             6816804
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