Merge pull request #383 from rtetley/mtac2

Updating mtac2 version

opam/opam-coq-archive/released/packages/coq-mtac2/coq-mtac2.1.4+8.18/opam

@@ -0,0 +1,25 @@
+opam-version: "1.2"
+maintainer: "[email protected]"
+homepage: "https://github.com/Mtac2/Mtac2"
+dev-repo: "https://github.com/Mtac2/Mtac2.git"
+bug-reports: "https://github.com/Mtac2/Mtac2/issues"
+authors: ["Beta Ziliani <[email protected]>" "Jan-Oliver Kaiser <[email protected]" "Robbert Krebbers <[email protected]>" "Yann Régis-Gianas <[email protected]>"]
+license: "MIT"
+build: [
+  ["./configure.sh"]
+  [make "-j%{jobs}%"]
+]
+install: [
+  [make "install"]
+]
+remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Mtac2"]
+depends: [
+  "coq" {>= "8.18"}
+  "coq-unicoq"
+]
+url {
+  src: "https://github.com/Mtac2/Mtac2/archive/refs/tags/v1.4-coq8.18.tar.gz"
+  checksum: [
+    "sha512=50a12d086da0416774b4464a234df7ce86c191c45345b2951b6c6ecdbe7675e215e2507b8af45daafd3ea09c35862ad8c1adee61ae34995148c73eb85749d68a"
+  ]
+}

package_picks/package-pick-8.18+beta1.sh

@@ -122,7 +122,7 @@ then
   PACKAGES="${PACKAGES} coq-equations.1.3+8.18"
   PACKAGES="${PACKAGES} coq-aac-tactics.8.18.0"
   PACKAGES="${PACKAGES} coq-unicoq.1.6+8.18"
-  #PACKAGES="${PACKAGES} coq-mtac2.1.4+8.17" # does not build even after relaxing version constraints
+  PACKAGES="${PACKAGES} coq-mtac2.1.4+8.18"
   PACKAGES="${PACKAGES} elpi.1.17.4 coq-elpi.1.19.3"
   PACKAGES="${PACKAGES} coq-hierarchy-builder.1.6.0"
   PACKAGES="${PACKAGES} coq-quickchick.2.0.1"