From 776bffb86b8be78ef3dcd8cbd9efeadcaab79448 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>
Date: Tue, 3 Dec 2024 12:13:55 +0100
Subject: [PATCH 1/2] Add opam package for new version coq-unimath.20240923

---
 .../coq-unimath/coq-unimath.20240923/opam      | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 released/packages/coq-unimath/coq-unimath.20240923/opam

diff --git a/released/packages/coq-unimath/coq-unimath.20240923/opam b/released/packages/coq-unimath/coq-unimath.20240923/opam
new file mode 100644
index 000000000..aa7043a3d
--- /dev/null
+++ b/released/packages/coq-unimath/coq-unimath.20240923/opam
@@ -0,0 +1,18 @@
+opam-version: "2.0"
+maintainer: "The UniMath Development Team"
+homepage: "https://github.com/UniMath/UniMath"
+dev-repo: "git+https://github.com/UniMath/UniMath.git"
+bug-reports: "https://github.com/UniMath/UniMath/issues"
+license: "Similar to MIT license"
+authors: ["The UniMath Development Team"]
+build: [make "BUILD_COQ=no" "-j%{jobs}%"]
+install: [make "BUILD_COQ=no" "install"]
+depends: [
+  "ocaml"
+  "coq" {>= "8.18"}
+]
+synopsis: "Library of Univalent Mathematics"
+url {
+  src: "https://github.com/UniMath/UniMath/archive/refs/tags/v20240923.tar.gz"
+  checksum: "sha512=ffb905217bc6426d6ad00168959961f560a05c040b10de0145ef27e1d93e9ab9ef60f7f5127fc8b9e0b04ad99608b452dbf261bc34072ee4f47ef6b6951bbc47"
+}

From ecba146d063b78646caabdfc3c2a5cbb04510757 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>
Date: Mon, 9 Dec 2024 13:20:50 +0100
Subject: [PATCH 2/2] coq-unimath.20240923: tightened Coq min version to 8.19
 after testing 8.18 and 8.19

---
 released/packages/coq-unimath/coq-unimath.20240923/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-unimath/coq-unimath.20240923/opam b/released/packages/coq-unimath/coq-unimath.20240923/opam
index aa7043a3d..0941082d9 100644
--- a/released/packages/coq-unimath/coq-unimath.20240923/opam
+++ b/released/packages/coq-unimath/coq-unimath.20240923/opam
@@ -9,7 +9,7 @@ build: [make "BUILD_COQ=no" "-j%{jobs}%"]
 install: [make "BUILD_COQ=no" "install"]
 depends: [
   "ocaml"
-  "coq" {>= "8.18"}
+  "coq" {>= "8.19"}
 ]
 synopsis: "Library of Univalent Mathematics"
 url {