Index of /ubuntu-ports/pool/universe/m/menhir/


../
libmenhir-ocaml-dev_20130116.dfsg-2_arm64.deb      23-Dec-2013 01:28               31122
libmenhir-ocaml-dev_20130116.dfsg-2_armhf.deb      23-Dec-2013 01:08               45636
libmenhir-ocaml-dev_20130116.dfsg-2_powerpc.deb    23-Dec-2013 01:09               44840
libmenhir-ocaml-dev_20130116.dfsg-2_ppc64el.deb    19-Feb-2014 10:08               31158
libmenhir-ocaml-dev_20151112.dfsg-1_arm64.deb      18-Jan-2016 05:25              101672
libmenhir-ocaml-dev_20151112.dfsg-1_armhf.deb      18-Jan-2016 05:26              103434
libmenhir-ocaml-dev_20151112.dfsg-1_powerpc.deb    18-Jan-2016 05:26               98138
libmenhir-ocaml-dev_20151112.dfsg-1_ppc64el.deb    18-Jan-2016 05:26               58566
libmenhir-ocaml-dev_20151112.dfsg-1_s390x.deb      18-Jan-2016 05:26               58618
libmenhir-ocaml-dev_20171222-1_arm64.deb           02-Jan-2018 23:29              178328
libmenhir-ocaml-dev_20171222-1_armhf.deb           02-Jan-2018 23:29              179652
libmenhir-ocaml-dev_20171222-1_ppc64el.deb         02-Jan-2018 23:29              181524
libmenhir-ocaml-dev_20171222-1_s390x.deb           02-Jan-2018 23:29              175548
libmenhir-ocaml-dev_20200123-2_arm64.deb           12-Mar-2020 14:08              470144
libmenhir-ocaml-dev_20200123-2_armhf.deb           12-Mar-2020 14:08              463340
libmenhir-ocaml-dev_20200123-2_ppc64el.deb         12-Mar-2020 14:08              469812
libmenhir-ocaml-dev_20200123-2_riscv64.deb         04-Apr-2020 16:03              407912
libmenhir-ocaml-dev_20200123-2_s390x.deb           12-Mar-2020 14:08              461804
libmenhir-ocaml-dev_20210929-1build1_arm64.deb     24-Jan-2022 16:44              631428
libmenhir-ocaml-dev_20210929-1build1_armhf.deb     24-Jan-2022 16:44              626644
libmenhir-ocaml-dev_20210929-1build1_ppc64el.deb   24-Jan-2022 16:44              638340
libmenhir-ocaml-dev_20210929-1build1_riscv64.deb   24-Jan-2022 17:57              664966
libmenhir-ocaml-dev_20210929-1build1_s390x.deb     24-Jan-2022 16:44              626716
libmenhir-ocaml-dev_20220210+ds-2_arm64.deb        14-May-2022 00:19              623008
libmenhir-ocaml-dev_20220210+ds-2_armhf.deb        14-May-2022 00:19              615884
libmenhir-ocaml-dev_20220210+ds-2_ppc64el.deb      13-May-2022 23:29              626312
libmenhir-ocaml-dev_20220210+ds-2_riscv64.deb      14-May-2022 00:19              653206
libmenhir-ocaml-dev_20220210+ds-2_s390x.deb        13-May-2022 23:29              614300
libmenhir-ocaml-dev_20231231+ds-1_arm64.deb        15-Feb-2024 18:29              760684
libmenhir-ocaml-dev_20231231+ds-1_armhf.deb        15-Feb-2024 18:29              750382
libmenhir-ocaml-dev_20231231+ds-1_ppc64el.deb      15-Feb-2024 18:29              764178
libmenhir-ocaml-dev_20231231+ds-1_riscv64.deb      16-Feb-2024 01:53              801776
libmenhir-ocaml-dev_20231231+ds-1_s390x.deb        15-Feb-2024 18:30              745794
libmenhir-ocaml-dev_20240715+ds-1_arm64.deb        21-Aug-2024 06:58              925466
libmenhir-ocaml-dev_20240715+ds-1_armhf.deb        21-Aug-2024 06:58              809890
libmenhir-ocaml-dev_20240715+ds-1_ppc64el.deb      21-Aug-2024 06:59              931660
libmenhir-ocaml-dev_20240715+ds-1_riscv64.deb      21-Aug-2024 08:07              974052
libmenhir-ocaml-dev_20240715+ds-1_s390x.deb        21-Aug-2024 06:59              917886
menhir-doc_20171222-1_all.deb                      02-Jan-2018 23:29              451536
menhir-doc_20200123-2_all.deb                      12-Mar-2020 14:08              535400
menhir-doc_20210929-1build1_all.deb                24-Jan-2022 16:44              554984
menhir-doc_20220210+ds-2_all.deb                   13-May-2022 23:29              449118
menhir-doc_20231231+ds-1_all.deb                   15-Feb-2024 18:29              477430
menhir-doc_20240715+ds-1_all.deb                   21-Aug-2024 06:58              477480
menhir_20130116.dfsg-2.debian.tar.gz               03-Dec-2013 05:28                6477
menhir_20130116.dfsg-2.dsc                         03-Dec-2013 05:28                2117
menhir_20130116.dfsg-2_arm64.deb                   23-Dec-2013 01:28              947240
menhir_20130116.dfsg-2_armhf.deb                   23-Dec-2013 01:08              442852
menhir_20130116.dfsg-2_powerpc.deb                 23-Dec-2013 01:09              382892
menhir_20130116.dfsg-2_ppc64el.deb                 19-Feb-2014 10:08              947434
menhir_20130116.dfsg.orig.tar.gz                   03-Dec-2013 05:28              268437
menhir_20151112.dfsg-1.debian.tar.xz               18-Jan-2016 05:25                6696
menhir_20151112.dfsg-1.dsc                         18-Jan-2016 05:25                2133
menhir_20151112.dfsg-1_arm64.deb                   18-Jan-2016 05:25              619830
menhir_20151112.dfsg-1_armhf.deb                   18-Jan-2016 05:26              632208
menhir_20151112.dfsg-1_powerpc.deb                 18-Jan-2016 05:26              567996
menhir_20151112.dfsg-1_ppc64el.deb                 18-Jan-2016 05:26             1205140
menhir_20151112.dfsg-1_s390x.deb                   18-Jan-2016 05:26             1204674
menhir_20151112.dfsg.orig.tar.gz                   18-Jan-2016 05:25              331677
menhir_20171222-1.debian.tar.xz                    02-Jan-2018 23:29                7020
menhir_20171222-1.dsc                              02-Jan-2018 23:29                2290
menhir_20171222-1_arm64.deb                        02-Jan-2018 23:29              663068
menhir_20171222-1_armhf.deb                        02-Jan-2018 23:29              573796
menhir_20171222-1_ppc64el.deb                      02-Jan-2018 23:29              677376
menhir_20171222-1_s390x.deb                        02-Jan-2018 23:29              683408
menhir_20171222.orig.tar.gz                        02-Jan-2018 23:29              879284
menhir_20200123-2.debian.tar.xz                    12-Mar-2020 14:08               12908
menhir_20200123-2.dsc                              12-Mar-2020 14:08                2209
menhir_20200123-2_arm64.deb                        12-Mar-2020 14:08              974712
menhir_20200123-2_armhf.deb                        12-Mar-2020 14:08              754316
menhir_20200123-2_ppc64el.deb                      12-Mar-2020 14:08              858040
menhir_20200123-2_riscv64.deb                      04-Apr-2020 16:03              246596
menhir_20200123-2_s390x.deb                        12-Mar-2020 14:08              810408
menhir_20200123.orig.tar.gz                        08-Feb-2020 23:23             2456984
menhir_20210929-1build1.debian.tar.xz              24-Jan-2022 16:44               13272
menhir_20210929-1build1.dsc                        24-Jan-2022 16:44                2260
menhir_20210929-1build1_arm64.deb                  24-Jan-2022 16:44             1291578
menhir_20210929-1build1_armhf.deb                  24-Jan-2022 16:44             1026986
menhir_20210929-1build1_ppc64el.deb                24-Jan-2022 16:44             1162910
menhir_20210929-1build1_riscv64.deb                24-Jan-2022 17:57             1044632
menhir_20210929-1build1_s390x.deb                  24-Jan-2022 16:44             1099398
menhir_20210929.orig.tar.gz                        18-Oct-2021 20:41             1153643
menhir_20220210+ds-2.debian.tar.xz                 13-May-2022 23:13               13348
menhir_20220210+ds-2.dsc                           13-May-2022 23:13                2321
menhir_20220210+ds-2_arm64.deb                     14-May-2022 00:19             1569562
menhir_20220210+ds-2_armhf.deb                     14-May-2022 00:19             1248314
menhir_20220210+ds-2_ppc64el.deb                   13-May-2022 23:29             1380626
menhir_20220210+ds-2_riscv64.deb                   14-May-2022 00:19             1263594
menhir_20220210+ds-2_s390x.deb                     13-May-2022 23:29             1335960
menhir_20220210+ds.orig.tar.xz                     13-May-2022 23:13              534352
menhir_20231231+ds-1.debian.tar.xz                 15-Feb-2024 17:24               13756
menhir_20231231+ds-1.dsc                           15-Feb-2024 17:24                2084
menhir_20231231+ds-1_arm64.deb                     15-Feb-2024 18:29             1701380
menhir_20231231+ds-1_armhf.deb                     15-Feb-2024 18:29             1364944
menhir_20231231+ds-1_ppc64el.deb                   15-Feb-2024 18:29             1510304
menhir_20231231+ds-1_riscv64.deb                   16-Feb-2024 01:53             1463428
menhir_20231231+ds-1_s390x.deb                     15-Feb-2024 18:30             1453122
menhir_20231231+ds.orig.tar.xz                     15-Feb-2024 17:24              540084
menhir_20240715+ds-1.debian.tar.xz                 21-Aug-2024 06:58               13852
menhir_20240715+ds-1.dsc                           21-Aug-2024 06:58                2084
menhir_20240715+ds-1_arm64.deb                     21-Aug-2024 06:58             1807996
menhir_20240715+ds-1_armhf.deb                     21-Aug-2024 06:58              407618
menhir_20240715+ds-1_ppc64el.deb                   21-Aug-2024 06:59             1626378
menhir_20240715+ds-1_riscv64.deb                   21-Aug-2024 08:07             1622578
menhir_20240715+ds-1_s390x.deb                     21-Aug-2024 06:59             1606478
menhir_20240715+ds.orig.tar.xz                     21-Aug-2024 06:58              540332