From d5e6b2a101151b7ef39f37d77f43b342a6a76444 Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Thu, 12 Dec 2024 13:50:40 +0100 Subject: [PATCH] coq-mathcomp-multinomials: 2.2.0 -> 2.3.0 Signed-off-by: Cyril Cohen --- .../coq-mathcomp-multinomials.2.3.0/opam | 31 +++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam diff --git a/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam b/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam new file mode 100644 index 0000000000..7db1bd2238 --- /dev/null +++ b/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +maintainer: "pierre-yves@strub.nu" +homepage: "https://github.com/math-comp/multinomials" +bug-reports: "https://github.com/math-comp/multinomials/issues" +dev-repo: "git+https://github.com/math-comp/multinomials.git" +license: "CECILL-B" +authors: ["Pierre-Yves Strub"] +build: [ + [ "dune" "build" "-p" name "-j" jobs ] +] +depends: [ + "coq" {(>= "8.16" & < "8.21~") | = "dev"} + "coq-elpi" {< "2.2.1~"} + "dune" {>= "3.8"} + "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.4~") | = "dev"} + "coq-mathcomp-algebra" + "coq-mathcomp-bigenough" {(>= "1.0" & < "1.1~") | = "dev"} + "coq-mathcomp-finmap" {(>= "2.0" & < "2.2~") | = "dev"} +] +tags: [ + "keyword:multinomials" + "keyword:monoid algebra" + "category:Mathematics/Algebra/Multinomials" + "category:Mathematics/Algebra/Monoid algebra" + "logpath:mathcomp.multinomials" +] +synopsis: "A Multivariate polynomial Library for the Mathematical Components Library" +url { + src: "https://github.com/math-comp/multinomials/archive/2.3.0.tar.gz" + checksum: "sha512=03c71f246a00c80b7d83f357d9c54fcf485cc17bd3399dd041a36c88ae7532e0db92dd0de0e7b4e94c7d7707ffa6ad745271af1d1e24f009709061d1b21162c8" +}