Merge pull request #28498 from jim-portegies/opam-publish-coq-waterproof.3.0.0-8.18

Package coq-waterproof.3.0.0+8.18

Author: mseri

packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam

@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.14.1"}
   "coq" {>= "8.17" & < "8.18"}
-  "dune" {>= "3.6."}
+  "dune" {>= "3.6"}
 ]
 
 build: [
@@ -35,6 +35,8 @@ install: [
   ["dune" "install" "-p" "coq-waterproof"]
 ]
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.2.1.0+8.17/opam

@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.14.1"}
   "coq" {>= "8.17" & < "8.18"}
-  "dune" {>= "3.6."}
+  "dune" {>= "3.6"}
 ]
 
 build: [
@@ -37,6 +37,8 @@ install: [
 
 available: arch != "s390x"
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.2.1.1+8.17/opam

@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.09.0"}
   "coq" {>= "8.17" & < "8.18"}
-  "dune" {>= "3.6."}
+  "dune" {>= "3.6"}
 ]
 
 build: [
@@ -33,6 +33,8 @@ build: [
 
 available: arch != "s390x"
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.2.1.1+8.18/opam

@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.09.0"}
   "coq" {>= "8.18" & < "8.19"}
-  "dune" {>= "3.6."}
+  "dune" {>= "3.6"}
 ]
 
 build: [
@@ -33,6 +33,8 @@ build: [
 
 available: arch != "s390x"
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.2.2.0+8.17/opam

@@ -33,6 +33,8 @@ build: [
 
 available: (arch != "s390x") & (arch != "ppc64") & (os != "win32")
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.2.2.0+8.20/opam

@@ -33,6 +33,8 @@ build: [
 
 available: (arch != "s390x") & (arch != "ppc64") & (os != "win32")
 
+x-maintained: false
+
 tags: [
   "keyword:mathematics education"
   "category:Mathematics/Education"

packages/coq-waterproof/coq-waterproof.3.0.0+8.18/opam

@@ -0,0 +1,51 @@
+opam-version: "2.0"
+maintainer: "Jim Portegies <[email protected]>"
+authors: [
+  "Jelle Wemmenhove"
+  "Pim Otte"
+  "Balthazar Pathiachvili"
+  "Cosmin Manea"
+  "Lulof Pirée"
+  "Adrian Vrămuleţ"
+  "Tudor Voicu"
+  "Jim Portegies <[email protected]>"
+]
+
+synopsis: "Coq proofs in a style that resembles non-mechanized mathematical proofs"
+description: """
+The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
+"""
+
+license: "LGPL-3.0-or-later"
+homepage: "https://github.com/impermeable/coq-waterproof"
+dev-repo: "git+https://github.com/impermeable/coq-waterproof.git"
+bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
+
+depends: [
+  "ocaml" {>= "4.09.0"}
+  "coq" {>= "8.18" & < "8.19"}
+  "dune" {>= "3.8"}
+]
+
+build: [
+  ["dune" "build" "-p" name "-j" jobs "@install"]
+]
+
+available: (arch != "s390x") & (arch != "ppc64") & (os != "win32")
+
+conflicts: [ "ocaml-option-bytecode-only" ]
+
+tags: [
+  "keyword:mathematics education"
+  "category:Mathematics/Education"
+  "date:2023-11-04"
+  "logpath:Waterproof"
+]
+url {
+  src:
+    "https://github.com/impermeable/coq-waterproof/archive/refs/tags/3.0.0+8.18.tar.gz"
+  checksum: [
+    "md5=32d187d47ea005e068a8b57dd4358cd3"
+    "sha512=67733e1ccc66b5e66dde0e52b33ece12ea253db0af4a0e690129f965f064546a5e415b2e5d8a3cac1df298178788273f334a2ddd83044c7ff7b88f7abbc9473f"
+  ]
+}