Merge pull request #27346 from zapashcanon/prelude.0.5

prelude.0.5

packages/prelude/prelude.0.5/opam

@@ -0,0 +1,39 @@
+opam-version: "2.0"
+synopsis: "OCaml library hiding stuff from the stdlib"
+description:
+  "Prelude is an OCaml library hiding a lot of stuff from the stdlib to enforce good programming practices."
+maintainer: ["Léo Andrès <[email protected]>"]
+authors: ["Léo Andrès <[email protected]>"]
+license: "AGPL-3.0-or-later"
+tags: ["prelude" "stdlib" "safe" "exception" "layer" "hide"]
+homepage: "https://git.zapashcanon.fr/zapashcanon/prelude"
+bug-reports: "https://git.zapashcanon.fr/zapashcanon/prelude/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "ocaml" {>= "4.13"}
+  "ocamlformat" {with-dev-setup}
+  "odoc" {with-dev-setup}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://git.zapashcanon.fr/zapashcanon/prelude.git"
+url {
+  src: "https://git.zapashcanon.fr/zapashcanon/prelude/archive/0.5.tar.gz"
+  checksum: [
+    "sha256=45545583bd11fe423e55a081815c613f1772ee64213abbe72634b228fb85e696"
+    "sha512=c63df230cfb6b928e9e766e2b621d1d9b5c6bc51e788967f45ab2c6529352befc1359bb55c1c33aa2b6e18b28ac563ab45b23e9742fbbda5b7544f9e26926f03"
+  ]
+}

packages/scfg/scfg.0.4/opam

@@ -20,7 +20,7 @@ depends: [
   "menhir" {>= "20211230"}
   "ocaml" {>= "4.13"}
   "sedlex"
-  "prelude" {>= "0.4"}
+  "prelude" {= "0.4"}
   "odoc" {with-doc}
 ]
 build: [