Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-ml
/
menhir
LR(1) parser generator for the OCaml language
http://gallium.inria.fr/~fpottier/menhir/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-10-18
dev-ml/menhir: Stabilize 20240715 arm64, #941576
6c54997
Arthur Zamarin
committed on 2024-10-18 15:40:13 UTC
dev-ml/menhir/menhir-20240715.ebuild
dev-ml/menhir: Stabilize 20240715 arm, #941576
a7bcc36
Arthur Zamarin
committed on 2024-10-18 15:40:04 UTC
dev-ml/menhir/menhir-20240715.ebuild
Commits on 2024-10-15
dev-ml/menhir: Stabilize 20240715 x86, #941576
28e52d5
Arthur Zamarin
committed on 2024-10-15 15:24:39 UTC
dev-ml/menhir/menhir-20240715.ebuild
dev-ml/menhir: Stabilize 20240715 ppc64, #941576
9310ae4
Arthur Zamarin
committed on 2024-10-15 15:24:27 UTC
dev-ml/menhir/menhir-20240715.ebuild
dev-ml/menhir: Stabilize 20240715 amd64, #941576
70a7e0b
Arthur Zamarin
committed on 2024-10-15 15:24:09 UTC
dev-ml/menhir/menhir-20240715.ebuild
Commits on 2024-09-13
dev-ml/menhir: bump to 20240715
fde97fc
Maciej Barć
committed on 2024-09-13 20:56:58 UTC
dev-ml/menhir/menhir-20240715.ebuild
dev-ml/menhir/Manifest
Commits on 2024-06-27
dev-ml/menhir: add 20231231
13ac469
Alfredo Tupone
committed on 2024-06-27 16:33:23 UTC
dev-ml/menhir/menhir-20231231.ebuild
dev-ml/menhir/Manifest
Commits on 2024-06-21
dev-ml/menhir: drop old 20220210
7c83e1b
Maciej Barć
committed on 2024-06-21 12:31:01 UTC
dev-ml/menhir/Manifest
dev-ml/menhir/menhir-20220210.ebuild
Commits on 2023-10-08
dev-ml/menhir: Stabilize 20230608 arm64, #915369
1c97a0c
Arthur Zamarin
committed on 2023-10-08 15:29:18 UTC
dev-ml/menhir/menhir-20230608.ebuild
dev-ml/menhir: Stabilize 20230608 ppc64, #915369
000f438
Arthur Zamarin
committed on 2023-10-08 15:29:18 UTC
dev-ml/menhir/menhir-20230608.ebuild
dev-ml/menhir: Stabilize 20230608 x86, #915369
325f3f4
Arthur Zamarin
committed on 2023-10-08 15:29:17 UTC
dev-ml/menhir/menhir-20230608.ebuild
dev-ml/menhir: Stabilize 20230608 arm, #915369
c7cf067
Arthur Zamarin
committed on 2023-10-08 15:29:16 UTC
dev-ml/menhir/menhir-20230608.ebuild
dev-ml/menhir: Stabilize 20230608 amd64, #915369
958b4f4
Arthur Zamarin
committed on 2023-10-08 15:29:15 UTC
dev-ml/menhir/menhir-20230608.ebuild
Commits on 2023-08-20
dev-ml/menhir: bump to 20230608
5fc303b
Maciej Barć
committed on 2023-08-20 11:29:22 UTC
dev-ml/menhir/menhir-20230608.ebuild
dev-ml/menhir/Manifest
dev-ml/menhir: drop old 20211012
3f7a316
Maciej Barć
committed on 2023-08-20 11:29:21 UTC
dev-ml/menhir/Manifest
dev-ml/menhir/menhir-20211012.ebuild
dev-ml/menhir: drop old 20210419-r1
6b0fa42
Maciej Barć
committed on 2023-08-20 11:29:21 UTC
dev-ml/menhir/Manifest
dev-ml/menhir/menhir-20210419-r1.ebuild
dev-ml/menhir: drop old 20190924
e56a8bf
Maciej Barć
committed on 2023-08-20 11:29:21 UTC
dev-ml/menhir/Manifest
dev-ml/menhir/menhir-20190924.ebuild
Commits on 2023-03-17
dev-ml/menhir: Stabilize 20220210 ppc64, #901609
7ddc0a5
Arthur Zamarin
committed on 2023-03-17 09:06:14 UTC
dev-ml/menhir/menhir-20220210.ebuild
dev-ml/menhir: Stabilize 20220210 x86, #901609
98c0075
Sam James
committed on 2023-03-17 02:26:58 UTC
dev-ml/menhir/menhir-20220210.ebuild
dev-ml/menhir: Stabilize 20220210 amd64, #901609
9ccc1e9
Sam James
committed on 2023-03-17 02:26:57 UTC
dev-ml/menhir/menhir-20220210.ebuild
Commits on 2023-03-16
dev-ml/menhir: Stabilize 20220210 arm64, #901609
2866cee
Sam James
committed on 2023-03-16 23:14:23 UTC
dev-ml/menhir/menhir-20220210.ebuild
dev-ml/menhir: Stabilize 20220210 arm, #901609
7e0af8f
Sam James
committed on 2023-03-16 23:14:21 UTC
dev-ml/menhir/menhir-20220210.ebuild
Commits on 2022-12-05
dev-ml/menhir: BetterCompressionUri
35ce53d
Alfredo Tupone
committed on 2022-12-05 18:04:38 UTC
dev-ml/menhir/Manifest
dev-ml/menhir/menhir-20190924.ebuild
dev-ml/menhir/menhir-20210419-r1.ebuild
dev-ml/menhir/menhir-20211012.ebuild
dev-ml/menhir/menhir-20220210.ebuild
Commits on 2022-09-06
dev-ml/menhir: bump to 20220210
d390082
Maciej Barć
committed on 2022-09-06 17:00:11 UTC
dev-ml/menhir/menhir-20220210.ebuild
dev-ml/menhir/Manifest
Commits on 2022-04-18
dev-ml/menhir: Keyword 20211012 riscv, #835392
68079e2
Yongxiang Liang
authored
and
Jakov Smolić
committed on 2022-04-18 21:06:09 UTC
dev-ml/menhir/menhir-20211012.ebuild
Commits on 2022-03-03
dev-ml/menhir: destabilise for ppc
38357d1
Sam James
authored
and
David Seifert
committed on 2022-03-03 21:18:01 UTC
dev-ml/menhir/menhir-20190924.ebuild
dev-ml/menhir/menhir-20210419-r1.ebuild
Commits on 2021-11-07
dev-ml/menhir: 20211012 bump
6b2aeb5
Alfredo Tupone
committed on 2021-11-07 16:45:57 UTC
dev-ml/menhir/menhir-20211012.ebuild
dev-ml/menhir/Manifest
Commits on 2021-10-13
dev-ml/menhir: Stabilize 20210419-r1 arm64, #817713
cc0318d
Sam James
committed on 2021-10-13 20:36:06 UTC
dev-ml/menhir/menhir-20210419-r1.ebuild
dev-ml/menhir: Stabilize 20210419-r1 arm, #817713
504b1ac
Sam James
committed on 2021-10-13 20:34:43 UTC
dev-ml/menhir/menhir-20210419-r1.ebuild
Commits on 2021-10-11
dev-ml/menhir: Stabilize 20210419-r1 x86, #817713
6b620d8
Sam James
committed on 2021-10-11 15:25:04 UTC
dev-ml/menhir/menhir-20210419-r1.ebuild
dev-ml/menhir: ppc stable wrt bug #817713
7cc7c79
Agostino Sarubbo
committed on 2021-10-11 12:16:01 UTC
dev-ml/menhir/menhir-20210419-r1.ebuild
dev-ml/menhir: Stabilize 20210419-r1 ppc64, #817713
8559ff7
Sam James
committed on 2021-10-11 05:44:09 UTC
dev-ml/menhir/menhir-20210419-r1.ebuild
dev-ml/menhir: Stabilize 20210419-r1 amd64, #817713
6c49741
Sam James
committed on 2021-10-11 05:16:30 UTC
dev-ml/menhir/menhir-20210419-r1.ebuild
Commits on 2021-09-11
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 2021-09-11 13:22:48 UTC
dev-ml/menhir/metadata.xml
Commits on 2021-07-18
dev-ml/menhir: install menhirLib and menhirSdk too
092f461
Alfredo Tupone
committed on 2021-07-18 17:39:19 UTC
dev-ml/menhir/menhir-20210419-r1.ebuild
dev-ml/menhir/menhir-20210419.ebuild
dev-ml/menhir: bump 20210419
018d1a7
Alfredo Tupone
committed on 2021-07-18 13:40:46 UTC
dev-ml/menhir/menhir-20210419.ebuild
dev-ml/menhir/Manifest
Commits on 2021-04-16
dev-ml/menhir: eutils--
1716d09
Sam James
committed on 2021-04-16 11:16:21 UTC
dev-ml/menhir/menhir-20190924.ebuild
Commits on 2021-03-15
dev-ml/menhir: drop 20181006
b24787e
Sam James
committed on 2021-03-15 04:01:38 UTC
dev-ml/menhir/Manifest
dev-ml/menhir/menhir-20181006.ebuild
Commits on 2021-03-14
dev-ml/menhir: Stabilize 20190924 arm64, #772833
0d16aae
Sam James
committed on 2021-03-14 00:46:40 UTC
dev-ml/menhir/menhir-20190924.ebuild
dev-ml/menhir: Stabilize 20190924 arm, #772833
cefa5b5
Sam James
committed on 2021-03-14 00:45:12 UTC
dev-ml/menhir/menhir-20190924.ebuild
Commits on 2021-03-13
dev-ml/menhir: Stabilize 20190924 ppc64, #772833
1255546
Sam James
committed on 2021-03-13 14:04:57 UTC
dev-ml/menhir/menhir-20190924.ebuild
Commits on 2021-03-04
dev-ml/menhir: amd64 stable wrt bug #772833
eb7688d
Agostino Sarubbo
committed on 2021-03-04 14:27:37 UTC
dev-ml/menhir/menhir-20190924.ebuild
Commits on 2021-02-25
dev-ml/menhir: Stabilize 20190924 x86, #772833
d48d1bc
Sam James
committed on 2021-02-25 17:54:08 UTC
dev-ml/menhir/menhir-20190924.ebuild
dev-ml/menhir: Stabilize 20190924 ppc, #772833
0a1bc66
Sam James
committed on 2021-02-25 13:09:03 UTC
dev-ml/menhir/menhir-20190924.ebuild
Commits on 2021-02-10
dev-ml/menhir: Keyword 20190924 ppc64, #766884
807f517
Sam James
committed on 2021-02-10 16:39:05 UTC
dev-ml/menhir/menhir-20190924.ebuild
Commits on 2021-01-17
dev-ml/menhir: ml maintains it
7e4d39d
Alfredo Tupone
committed on 2021-01-17 20:51:52 UTC
dev-ml/menhir/metadata.xml
Commits on 2020-11-28
dev-ml/menhir: drop old
9047d83
Aaron Bauman
committed on 2020-11-28 18:37:17 UTC
dev-ml/menhir/Manifest
dev-ml/menhir/menhir-20170712.ebuild
dev-ml/menhir/menhir-20171013.ebuild
Commits on 2019-12-13
*/*: Remove ml@ from packages maintainers
8d5bf2b
Michał Górny
committed on 2019-12-13 15:24:05 UTC
dev-ml/menhir/metadata.xml
Commits on 2019-12-03
dev-ml/menhir: bump to 20190924
93c943f
Jason A. Donenfeld
committed on 2019-12-03 09:48:56 UTC
dev-ml/menhir/menhir-20190924.ebuild
dev-ml/menhir/Manifest
Commits on 2019-10-21
dev-ml/menhir: Stable version
e1a45a5
Tupone Alfredo
committed on 2019-10-21 18:27:53 UTC
dev-ml/menhir/menhir-20181006.ebuild