From b189733a9ac82a91f169869b9acee17398362894 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Sun, 31 Mar 2024 19:38:25 +0200
Subject: [PATCH] PRINGO version 1.4

---
 packages/pringo/pringo.1.4/opam | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 packages/pringo/pringo.1.4/opam

diff --git a/packages/pringo/pringo.1.4/opam b/packages/pringo/pringo.1.4/opam
new file mode 100644
index 00000000000..ae6fe445ad6
--- /dev/null
+++ b/packages/pringo/pringo.1.4/opam
@@ -0,0 +1,26 @@
+opam-version: "2.0"
+synopsis: "Pseudo-random, splittable number generators"
+description:
+  "Pseudo-random number generators that support splitting and two interfaces: one stateful, one purely functional"
+maintainer: "Xavier Leroy <xavier.leroy@college-de-france.fr>"
+authors: "Xavier Leroy <xavier.leroy@college-de-france.fr>"
+license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
+homepage: "https://github.com/xavierleroy/pringo"
+bug-reports: "https://github.com/xavierleroy/pringo/issues"
+depends: [
+  "ocaml" {>= "4.05.0"}
+  "ocamlfind"
+  "testu01" {with-test}
+]
+build: make
+install: [make "install"]
+run-test: [make "smalltest"] {ocaml:version >= "4.08"}
+conflicts: [ "ocaml-option-bytecode-only" ]
+dev-repo: "git+https://https://github.com/xavierleroy/pringo"
+url {
+  src: "https://github.com/xavierleroy/pringo/archive/1.4.tar.gz"
+  checksum: [
+    "md5=cf57361241b74422d8a1eed675c4e9ba"
+    "sha512=3088152c01804fa7fe03f71db139f0ad02b4fb2f2b53926fa853f05c7c1e677a8ffedf684d87860aa1935ee39769c718c1785c712ff2f491af8afd1d17a77f22"
+  ]
+}