Index of /snapshots/2024-07-20/apt/ubuntu_arm64/pool/universe/c/coq/

../
coq-theories_8.11.0-1_arm64.deb                    06-Mar-2020 09:13            21416488
coq-theories_8.4pl4dfsg-3build2_all.deb            04-Nov-2015 14:04            32236078
coq-theories_8.6-5build1_arm64.deb                 28-Oct-2017 16:20            22801252
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
coq_8.4pl4dfsg-3build2_arm64.deb                   04-Nov-2015 14:29             3897182
coq_8.6-5build1_arm64.deb                          28-Oct-2017 16:20            18867112
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
coqide_8.4pl4dfsg-3build2_arm64.deb                04-Nov-2015 14:29              771968
coqide_8.6-5build1_arm64.deb                       28-Oct-2017 16:20             1701988
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-dev_8.4pl4dfsg-3build2_arm64.deb      04-Nov-2015 14:29             3911576
libcoq-ocaml-dev_8.6-5build1_arm64.deb             28-Oct-2017 16:20            14025668
libcoq-ocaml_8.11.0-1_arm64.deb                    06-Mar-2020 09:13             6816804
libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb          04-Nov-2015 14:29             1404704
libcoq-ocaml_8.6-5build1_arm64.deb                 28-Oct-2017 16:20             3798220
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb              06-Feb-2022 12:54            24696054