From 71b51a7ebcffee116afc26c6087917e1f28eafc8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Dailly?= Date: Sun, 14 Jan 2024 14:12:49 +0100 Subject: [PATCH 1/3] Updated menhir && menhirLib to 20231231 --- .../menhir-windows.20231231/opam | 30 +++++++++++++++++++ .../menhirLib-windows.20231231/opam | 30 +++++++++++++++++++ 2 files changed, 60 insertions(+) create mode 100644 packages/menhir-windows/menhir-windows.20231231/opam create mode 100644 packages/menhirLib-windows/menhirLib-windows.20231231/opam diff --git a/packages/menhir-windows/menhir-windows.20231231/opam b/packages/menhir-windows/menhir-windows.20231231/opam new file mode 100644 index 00000000..b3c8079b --- /dev/null +++ b/packages/menhir-windows/menhir-windows.20231231/opam @@ -0,0 +1,30 @@ + +opam-version: "2.0" +maintainer: "francois.pottier@inria.fr" +authors: [ + "François Pottier " + "Yann Régis-Gianas " +] +homepage: "http://gitlab.inria.fr/fpottier/menhir" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" +bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues" +license: "GPL-2.0-only" +build: [ + ["dune" "build" "-x" "windows" "-p" "menhir" "-j" jobs] +] +depends: [ + "ocaml-windows" + "dune" {>= "2.8.0"} + "menhirLib" {= version} + "menhirSdk" {= version} + "menhirCST" {= version} +] +synopsis: "An LR(1) parser generator" +url { + src: + "https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz" + checksum: [ + "md5=799748bc3b7a542798a85956c7863865" + "sha512=620ff3443143535e03ac98c5e8ee2ddf9ba48f8cfe441302118def1da3e03ffac7f48d4d4cb129766b625ecad0fb341da1baa0169dee8b6d07a5b0bbb735cf2f" + ] +} diff --git a/packages/menhirLib-windows/menhirLib-windows.20231231/opam b/packages/menhirLib-windows/menhirLib-windows.20231231/opam new file mode 100644 index 00000000..3dbda9d5 --- /dev/null +++ b/packages/menhirLib-windows/menhirLib-windows.20231231/opam @@ -0,0 +1,30 @@ + +opam-version: "2.0" +maintainer: "francois.pottier@inria.fr" +authors: [ + "François Pottier " + "Yann Régis-Gianas " +] +homepage: "http://gitlab.inria.fr/fpottier/menhir" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" +bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues" +license: "LGPL-2.0-only with OCaml-LGPL-linking-exception" +build: [ + ["dune" "build" "-x" "windows" "-p" "menhirLib" "-j" jobs] +] +depends: [ + "ocaml" { >= "4.03.0" } + "dune" { >= "2.8.0" } +] +conflicts: [ + "menhir" { != version } +] +synopsis: "Runtime support library for parsers generated by Menhir" +url { + src: + "https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/archive.tar.gz" + checksum: [ + "md5=799748bc3b7a542798a85956c7863865" + "sha512=620ff3443143535e03ac98c5e8ee2ddf9ba48f8cfe441302118def1da3e03ffac7f48d4d4cb129766b625ecad0fb341da1baa0169dee8b6d07a5b0bbb735cf2f" + ] +} From 395e9ce885f8908578117870104ea1d17097de89 Mon Sep 17 00:00:00 2001 From: Romain Beauxis Date: Mon, 15 Jan 2024 17:50:14 -0600 Subject: [PATCH 2/3] Update packages/menhirLib-windows/menhirLib-windows.20231231/opam --- packages/menhirLib-windows/menhirLib-windows.20231231/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/menhirLib-windows/menhirLib-windows.20231231/opam b/packages/menhirLib-windows/menhirLib-windows.20231231/opam index 3dbda9d5..2919d58c 100644 --- a/packages/menhirLib-windows/menhirLib-windows.20231231/opam +++ b/packages/menhirLib-windows/menhirLib-windows.20231231/opam @@ -13,7 +13,7 @@ build: [ ["dune" "build" "-x" "windows" "-p" "menhirLib" "-j" jobs] ] depends: [ - "ocaml" { >= "4.03.0" } + "ocaml-windows" { >= "4.03.0" } "dune" { >= "2.8.0" } ] conflicts: [ From b1001eef242cc6fa847d34fef3184fe7d1590cd9 Mon Sep 17 00:00:00 2001 From: Romain Beauxis Date: Mon, 15 Jan 2024 17:50:32 -0600 Subject: [PATCH 3/3] Update packages/menhirLib-windows/menhirLib-windows.20231231/opam --- packages/menhirLib-windows/menhirLib-windows.20231231/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/menhirLib-windows/menhirLib-windows.20231231/opam b/packages/menhirLib-windows/menhirLib-windows.20231231/opam index 2919d58c..c9b07dd0 100644 --- a/packages/menhirLib-windows/menhirLib-windows.20231231/opam +++ b/packages/menhirLib-windows/menhirLib-windows.20231231/opam @@ -17,7 +17,7 @@ depends: [ "dune" { >= "2.8.0" } ] conflicts: [ - "menhir" { != version } + "menhir-windows" { != version } ] synopsis: "Runtime support library for parsers generated by Menhir" url {