Index of /trisquel/packages/pool/main/m/menhir

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 menhir_20231231+ds.orig.tar.xz                     2024-02-16 01:24  527K  
 menhir_20231231+ds-1_riscv64.deb                   2024-02-16 09:53  1.4M  
 menhir_20231231+ds-1_ppc64el.deb                   2024-02-16 02:29  1.4M  
 menhir_20231231+ds-1_armhf.deb                     2024-02-16 02:29  1.3M  
 menhir_20231231+ds-1_arm64.deb                     2024-02-16 02:29  1.6M  
 menhir_20231231+ds-1_amd64.deb                     2024-02-16 02:29  1.3M  
 menhir_20231231+ds-1.dsc                           2024-02-16 01:24  2.0K  
 menhir_20231231+ds-1.debian.tar.xz                 2024-02-16 01:24   13K  
 menhir_20210929.orig.tar.gz                        2021-10-19 04:41  1.1M  
 menhir_20210929-1build1_ppc64el.deb                2022-01-25 00:44  1.1M  
 menhir_20210929-1build1_armhf.deb                  2022-01-25 00:44  1.0M  
 menhir_20210929-1build1_arm64.deb                  2022-01-25 00:44  1.2M  
 menhir_20210929-1build1_amd64.deb                  2022-01-25 00:44  1.0M  
 menhir_20210929-1build1.dsc                        2022-01-25 00:44  2.2K  
 menhir_20210929-1build1.debian.tar.xz              2022-01-25 00:44   13K  
 menhir_20200123.orig.tar.gz                        2020-02-09 07:23  2.3M  
 menhir_20200123-2_armhf.deb                        2020-03-12 22:08  737K  
 menhir_20200123-2_amd64.deb                        2020-03-12 22:08  776K  
 menhir_20200123-2.dsc                              2020-03-12 22:08  2.2K  
 menhir_20200123-2.debian.tar.xz                    2020-03-12 22:08   13K  
 menhir_20171222.orig.tar.gz                        2018-01-03 07:29  859K  
 menhir_20171222-1_i386.deb                         2018-01-03 07:29  535K  
 menhir_20171222-1_amd64.deb                        2018-01-03 07:29  596K  
 menhir_20171222-1.dsc                              2018-01-03 07:29  2.2K  
 menhir_20171222-1.debian.tar.xz                    2018-01-03 07:29  6.9K  
 menhir_20151112.dfsg.orig.tar.gz                   2016-01-18 13:25  324K  
 menhir_20151112.dfsg-1_i386.deb                    2016-01-18 13:26  540K  
 menhir_20151112.dfsg-1_amd64.deb                   2016-01-18 13:25  580K  
 menhir_20151112.dfsg-1.dsc                         2016-01-18 13:25  2.1K  
 menhir_20151112.dfsg-1.debian.tar.xz               2016-01-18 13:25  6.5K  
 menhir-doc_20231231+ds-1_all.deb                   2024-02-16 02:29  466K  
 menhir-doc_20210929-1build1_all.deb                2022-01-25 00:44  542K  
 menhir-doc_20200123-2_all.deb                      2020-03-12 22:08  523K  
 menhir-doc_20171222-1_all.deb                      2018-01-03 07:29  441K  
 libmenhir-ocaml-dev_20231231+ds-1_riscv64.deb      2024-02-16 09:53  783K  
 libmenhir-ocaml-dev_20231231+ds-1_ppc64el.deb      2024-02-16 02:29  746K  
 libmenhir-ocaml-dev_20231231+ds-1_armhf.deb        2024-02-16 02:29  733K  
 libmenhir-ocaml-dev_20231231+ds-1_arm64.deb        2024-02-16 02:29  743K  
 libmenhir-ocaml-dev_20231231+ds-1_amd64.deb        2024-02-16 02:29  734K  
 libmenhir-ocaml-dev_20210929-1build1_ppc64el.deb   2022-01-25 00:44  623K  
 libmenhir-ocaml-dev_20210929-1build1_armhf.deb     2022-01-25 00:44  612K  
 libmenhir-ocaml-dev_20210929-1build1_arm64.deb     2022-01-25 00:44  617K  
 libmenhir-ocaml-dev_20210929-1build1_amd64.deb     2022-01-25 00:44  613K  
 libmenhir-ocaml-dev_20200123-2_armhf.deb           2020-03-12 22:08  452K  
 libmenhir-ocaml-dev_20200123-2_amd64.deb           2020-03-12 22:08  453K  
 libmenhir-ocaml-dev_20171222-1_i386.deb            2018-01-03 07:29  171K  
 libmenhir-ocaml-dev_20171222-1_amd64.deb           2018-01-03 07:29  172K  
 libmenhir-ocaml-dev_20151112.dfsg-1_i386.deb       2016-01-18 13:26   96K  
 libmenhir-ocaml-dev_20151112.dfsg-1_amd64.deb      2016-01-18 13:25   97K