From afbeb79298a8354ee6f8ca9cdf6e958967eec42e Mon Sep 17 00:00:00 2001
From: Sdk Build System <sdk@mambasoft.it>
Date: Sat, 6 Jan 2024 07:56:00 +0100
Subject: [PATCH] rebuilt with ocaml 4.14.1 [release 20230608-2mamba;Thu Jul 06
 2023]

---
 ocaml-menhir.spec | 28 ++++++++++++++++++++++------
 1 file changed, 22 insertions(+), 6 deletions(-)

diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index b323ebb..f62a318 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -1,22 +1,23 @@
 %define ocamlpck  menhirLib
 
 Name:          ocaml-menhir
-Version:       20211230
-Release:       1mamba
+Version:       20230608
+Release:       2mamba
 Summary:       An LR(1) parser generator for OCaml
 Group:         System/Libraries/OCaml
 Vendor:        openmamba
 Distribution:  openmamba
 Packager:      Silvan Calarco <silvan.calarco@mambasoft.it>
-URL:           http://gitlab.inria.fr/fpottier/menhir
+URL:           https://gitlab.inria.fr:443/fpottier/menhir
 Source:        https://gitlab.inria.fr/fpottier/menhir.git/%{version}/menhir-%{version}.tar.bz2
 License:       LGPL
 ## AUTOBUILDREQ-BEGIN
 BuildRequires: glibc-devel
 BuildRequires: ocaml
+BuildRequires: ocaml-runtime
 ## AUTOBUILDREQ-END
+BuildRequires: ocaml >= 4.14.1
 BuildRequires: dune
-BuildRequires: ocaml
 BuildRequires: ocaml-findlib
 
 %description
@@ -40,7 +41,7 @@ dune build
 
 %install
 [ "%{buildroot}" != / ] && rm -rf "%{buildroot}"
-DESTDIR=%{buildroot} dune install --prefix "/usr" --libdir "%{_lib}/ocaml"
+DESTDIR=%{buildroot} dune install --prefix "/usr" --libdir "%{_libdir}/ocaml"
 
 rm -rf %{buildroot}/usr/doc
 
@@ -84,5 +85,20 @@ mv %{buildroot}/usr/man %{buildroot}%{_datadir}/
 %{_libdir}/ocaml/menhirSdk/*.mli
 
 %changelog
-* Thu Feb 03 2022 Silvan Calarco <silvan.calarco@mambasoft.it> 20211230-1mamba
+* Thu Jul 06 2023 Sdk Build System <sdk@mambasoft.it> 20230608-2mamba
+- rebuilt with ocaml 4.14.1
+
+* Mon Jul 03 2023 Automatic Build System <autodist@mambasoft.it> 20230608-1mamba
+- automatic version update by autodist
+
+* Fri May 26 2023 Automatic Build System <autodist@mambasoft.it> 20230415-1mamba
+- automatic version update by autodist
+
+* Thu Mar 03 2022 Automatic Build System <autodist@mambasoft.it> 20220210-1mamba
+- automatic version update by autodist
+
+* Tue Feb 08 2022 Automatic Build System <autodist@mambasoft.it> 20211230-1mamba
+- automatic version update by autodist
+
+* Mon Feb 07 2022 Silvan Calarco <silvan.calarco@mambasoft.it> 20211128-1mamba
 - package created using the webbuild interface