commit:     7edde8926da56cde09783c2af560f4a766b399dd
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 22 19:51:40 2025 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Sep 22 19:52:05 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7edde892

dev-ml/menhir: add 20250912

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/menhir/Manifest               |  1 +
 dev-ml/menhir/menhir-20250912.ebuild | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+)

diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 63133d2a85ce..978278ba39b3 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
 DIST menhir-20240715.tar.bz2 1245971 BLAKE2B 
b5f1a1fb234dd53e1d3f77b095e2721f8d2af354a3aa36da2b993dc9f699767bb7c98aae13316ff3405b8bcf80f9ba3addc824ace59f5548613f0f93d105adf7
 SHA512 
b18da35517702dbdab0d9f5819ad711f61f2ed13ec9e51db71b92fa2d6604cbf28aa6d684c36a41364324694ebbc5dc6aaed4dbb3779c14b399e49ded6fd5db6
+DIST menhir-20250912.tar.bz2 1280672 BLAKE2B 
53f3f88286a77093b34275ada55ba22ce31cd0db2981299a9ffc313415c1d345fa89694f29c522f8150e1c80ae0694c63beaaf331d8c6854f69430e7edf3c4b8
 SHA512 
bb1f93177ddea862a4b13eb344e81614291c3933d89cb39d11a8a59b1f842f2ea712bb4936c19e08ade42ad2c268e4bd76061457a56cc538cf3c5a6377f2ba97

diff --git a/dev-ml/menhir/menhir-20250912.ebuild 
b/dev-ml/menhir/menhir-20250912.ebuild
new file mode 100644
index 000000000000..dc7b31cdc817
--- /dev/null
+++ b/dev-ml/menhir/menhir-20250912.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/";
+SRC_URI="https://gitlab.inria.fr/fpottier/${PN}/-/archive/${PV}/${P}.tar.bz2";
+
+LICENSE="GPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+src_install() {
+       dune_src_install menhir
+       dune_src_install menhirLib
+       dune_src_install menhirSdk
+}

Reply via email to