Merge pull request #2747 from palmskog/stdpp-1.8.0-8.18

patch coq-stdpp.1.8.0 for Coq 8.18, dropping 8.12 support

released/packages/coq-stdpp/coq-stdpp.1.8.0/files/curry.patch

@@ -0,0 +1,12 @@
+--- coq-stdpp.orig/stdpp/base.v
++++ coq-stdpp/stdpp/base.v
+@@ -696,9 +696,7 @@
+ (** The Coq standard library swapped the names of curry/uncurry, see
+ https://github.com/coq/coq/pull/12716/
+ FIXME: Remove this workaround once the lowest Coq version we support is 8.13. *)
+-Notation curry := prod_uncurry.
+ Global Instance: Params (@curry) 3 := {}.
+-Notation uncurry := prod_curry.
+ Global Instance: Params (@uncurry) 3 := {}.
+
+ Definition uncurry3 {A B C D} (f : A → B → C → D) (p : A * B * C) : D :=

released/packages/coq-stdpp/coq-stdpp.1.8.0/opam

@@ -33,9 +33,10 @@ tags: [
 ]
 
 depends: [
-  "coq" { (>= "8.12" & < "8.18~") | (= "dev") }
+  "coq" { (>= "8.13" & < "8.19~") | (= "dev") }
 ]
 
+patches: ["curry.patch"]
 build: ["./make-package" "stdpp" "-j%{jobs}%"]
 install: ["./make-package" "stdpp" "install"]