coq-plouffe for 8.20 (#3265)

* coq 8.20 * remove zip * Update released/packages/coq-plouffe/coq-plouffe.1.5.0/opam --------- Co-authored-by: Karl Palmskog <[email protected]>
coq · Dec 19, 2024 · 1962dec · 1962dec
1 parent b195ee6
commit 1962dec
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/released/packages/coq-plouffe/coq-plouffe.1.5.0/opam b/released/packages/coq-plouffe/coq-plouffe.1.5.0/opam
@@ -0,0 +1,25 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+homepage: "https://github.com/thery/Plouffe"
+bug-reports: "https://github.com/thery/Plouffe/issues"
+license: "MIT"
+build: [
+  [make "-j%{jobs}%"]
+]
+install: [make "install"]
+depends: [
+  "ocaml"
+  "coq" {>= "8.20" & < "8.21~"}
+  "coq-bignums"
+  "coq-mathcomp-ssreflect"
+  "coq-coquelicot" {>= "3.4.2"}
+]
+tags: [
+  "logpath:Plouffe"
+]
+synopsis: "A Coq formalization of Plouffe formula"
+authors: "Laurent Thery"
+url {
+  src: "https://github.com/thery/Plouffe/archive/v1.5.0.tar.gz"
+  checksum: "sha256=4bcfaa6be7a1069056e92c43e6ad8c71ea86204bc707e2970915ec86f7cf56e6"
+}