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


../
coq-theories_8.11.0-1_arm64.deb                    06-Mar-2020 09:13            21416488
coq-theories_8.4pl3dfsg-1_all.deb                  19-Jan-2014 23:58            31970270
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.debian.tar.xz                         06-Mar-2020 07:53               31672
coq_8.11.0-1.dsc                                   06-Mar-2020 07:53                2496
coq_8.11.0-1_arm64.deb                             06-Mar-2020 09:13            83935488
coq_8.11.0.orig.tar.gz                             06-Mar-2020 07:53             5825620
coq_8.15.0+dfsg-2.debian.tar.xz                    05-Feb-2022 17:49               39672
coq_8.15.0+dfsg-2.dsc                              05-Feb-2022 17:49                2599
coq_8.15.0+dfsg-2_arm64.deb                        06-Feb-2022 12:54           106715046
coq_8.15.0+dfsg.orig.tar.xz                        17-Jan-2022 23:14             4669948
coq_8.18.0+dfsg-1build2.debian.tar.xz              31-Mar-2024 18:36               33336
coq_8.18.0+dfsg-1build2.dsc                        31-Mar-2024 18:36                2685
coq_8.18.0+dfsg-1build2_arm64.deb                  01-Apr-2024 01:55           106631086
coq_8.18.0+dfsg.orig.tar.xz                        22-Dec-2023 19:46             4868368
coq_8.19.1+dfsg-3build3.debian.tar.xz              07-Sep-2024 07:08               33012
coq_8.19.1+dfsg-3build3.dsc                        07-Sep-2024 07:08                2572
coq_8.19.1+dfsg-3build3_arm64.deb                  07-Sep-2024 08:10           108397822
coq_8.19.1+dfsg.orig.tar.bz2                       02-May-2024 11:53             5589471
coq_8.20.0+dfsg-1.debian.tar.xz                    20-Nov-2024 18:47               30196
coq_8.20.0+dfsg-1.dsc                              20-Nov-2024 18:47                2570
coq_8.20.0+dfsg-1_arm64.deb                        20-Nov-2024 18:48            95479788
coq_8.20.0+dfsg.orig.tar.xz                        20-Nov-2024 18:47             5012820
coq_8.4pl3dfsg-1.debian.tar.xz                     19-Jan-2014 23:18               15800
coq_8.4pl3dfsg-1.dsc                               19-Jan-2014 23:18                2356
coq_8.4pl3dfsg-1_arm64.deb                         20-Jan-2014 03:43             1108992
coq_8.4pl3dfsg.orig.tar.gz                         19-Jan-2014 23:18             3521338
coq_8.4pl4dfsg-3build2.debian.tar.xz               04-Nov-2015 13:14               16144
coq_8.4pl4dfsg-3build2.dsc                         04-Nov-2015 13:14                2398
coq_8.4pl4dfsg-3build2_arm64.deb                   04-Nov-2015 14:29             3897182
coq_8.4pl4dfsg.orig.tar.gz                         27-Jul-2014 23:13             3527076
coq_8.6-5build1.debian.tar.xz                      28-Oct-2017 14:39               21864
coq_8.6-5build1.dsc                                28-Oct-2017 14:39                2403
coq_8.6-5build1_arm64.deb                          28-Oct-2017 16:20            18867112
coq_8.6.orig.tar.gz                                28-Dec-2016 17:13             5008604
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.18.0+dfsg-1build2_arm64.deb               01-Apr-2024 01:55             2820174
coqide_8.19.1+dfsg-3build3_arm64.deb               07-Sep-2024 08:10             2894344
coqide_8.20.0+dfsg-1_arm64.deb                     20-Nov-2024 18:48             2620818
coqide_8.4pl3dfsg-1_arm64.deb                      20-Jan-2014 03:43              203096
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-dev_8.18.0+dfsg-1build2_arm64..> 01-Apr-2024 01:55            51860872
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_arm64..> 07-Sep-2024 08:10            68242262
libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb      20-Nov-2024 18:48            70398160
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb          06-Feb-2022 12:53            28397634
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb    01-Apr-2024 01:55            29203264
libcoq-core-ocaml_8.19.1+dfsg-3build3_arm64.deb    07-Sep-2024 08:10            27093146
libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb          20-Nov-2024 18:48            27917604
libcoq-ocaml-dev_8.11.0-1_arm64.deb                06-Mar-2020 09:13            16432568
libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb            20-Jan-2014 03:43             1246944
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.4pl3dfsg-1_arm64.deb                20-Jan-2014 03:43              330196
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
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb        01-Apr-2024 01:55            26512160
libcoq-stdlib_8.19.1+dfsg-3build3_arm64.deb        07-Sep-2024 08:10            27017996
libcoq-stdlib_8.20.0+dfsg-1_arm64.deb              20-Nov-2024 18:48            26981610