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

../
coq-theories_8.11.0-1_arm64.deb                    06-Mar-2020 09:13            21416488
coq_8.11.0-1_arm64.deb                             06-Mar-2020 09:13            83935488
coq_8.15.0+dfsg-2_arm64.deb                        06-Feb-2022 12:54           106715046
coqide_8.11.0-1_arm64.deb                          06-Mar-2020 09:13             2113388
coqide_8.15.0+dfsg-2_arm64.deb                     06-Feb-2022 12:54             2877382
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb      06-Feb-2022 12:53            45581026
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb          06-Feb-2022 12:53            28397634
libcoq-ocaml-dev_8.11.0-1_arm64.deb                06-Mar-2020 09:13            16432568
libcoq-ocaml_8.11.0-1_arm64.deb                    06-Mar-2020 09:13             6816804
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb              06-Feb-2022 12:54            24696054