Merge pull request #3191 from affeldt-aist/monae.0.7.1

release monae 0.7.1

released/packages/coq-monae/coq-monae.0.7.1/opam

@@ -0,0 +1,50 @@
+opam-version: "2.0"
+maintainer: "Reynald Affeldt <reynald.affeldt@aist.go.jp>"
+
+homepage: "https://github.com/affeldt-aist/monae"
+dev-repo: "git+https://github.com/affeldt-aist/monae.git"
+bug-reports: "https://github.com/affeldt-aist/monae/issues"
+license: "LGPL-2.1-or-later"
+
+synopsis: "Monads and equational reasoning in Coq"
+description: """
+This Coq library contains a hierarchy of monads with their laws used
+in several examples of monadic equational reasoning."""
+
+build: [make "-j%{jobs}%" ]
+install: [make "install_full"]
+depends: [
+  "coq" { (>= "8.19" & < "8.21~") }
+  "coq-mathcomp-ssreflect" { (>= "2.2.0") }
+  "coq-mathcomp-fingroup" { (>= "2.2.0") }
+  "coq-mathcomp-algebra" { (>= "2.2.0") }
+  "coq-mathcomp-solvable" { (>= "2.2.0") }
+  "coq-mathcomp-field" { (>= "2.2.0") }
+  "coq-mathcomp-analysis" { (>= "1.5.0")}
+  "coq-infotheo" { >= "0.7.4"}
+  "coq-paramcoq" { >= "1.1.3" & < "1.2~" }
+  "coq-hierarchy-builder" { >= "1.5.0" }
+  "coq-equations" { >= "1.3" & < "1.4~" }
+]
+
+tags: [
+  "keyword:monae"
+  "keyword:effects"
+  "keyword:probability"
+  "keyword:nondeterminism"
+  "logpath:monae"
+  "date: 2024-10-25"
+]
+authors: [
+  "Reynald Affeldt"
+  "David Nowak"
+  "Takafumi Saikawa"
+  "Jacques Garrigue"
+  "Ayumu Saito"
+  "Celestine Sauvage"
+  "Kazunari Tanaka"
+]
+url {
+  src: "https://github.com/affeldt-aist/monae/archive/0.7.1.tar.gz"
+  checksum: "sha512=0844fe63b86e49c86fa38ec1b5960a0357b07c587ea5beccadcef8b6f18a94223fffac2996ee369e80534cd637b5e4b981e1d576ca38e2bd2f46edc8ac5b849b"
+}