Merge pull request #3186 from silene/interval-4.11.1

Interval 4.11.1

released/packages/coq-interval/coq-interval.4.11.1/opam

@@ -0,0 +1,43 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+homepage: "https://coqinterval.gitlabpages.inria.fr/"
+dev-repo: "git+https://gitlab.inria.fr/coqinterval/interval.git"
+bug-reports: "https://gitlab.inria.fr/coqinterval/interval/issues"
+license: "CeCILL-C"
+build: [
+  ["autoconf"] {dev}
+  ["./configure"]
+  ["./remake" "-j%{jobs}%"]
+]
+install: ["./remake" "install"]
+depends: [
+  "coq" {>= "8.13.1" & != "8.19.0"}
+  "coq-bignums"
+  "coq-flocq" {>= "3.2"}
+  "coq-mathcomp-ssreflect" {>= "1.12"}
+  "coq-coquelicot" {>= "3.1"}
+  "conf-autoconf" {build & dev}
+  ("conf-g++" {build} | "conf-clang" {build})
+]
+tags: [
+  "keyword:interval arithmetic"
+  "keyword:decision procedure"
+  "keyword:floating-point arithmetic"
+  "keyword:reflexive tactic"
+  "keyword:Taylor models"
+  "category:Mathematics/Real Calculus and Topology"
+  "category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures"
+  "logpath:Interval"
+  "date:2024-10-21"
+]
+authors: [
+  "Guillaume Melquiond <[email protected]>"
+  "Érik Martin-Dorel <[email protected]>"
+  "Pierre Roux <[email protected]>"
+  "Thomas Sibut-Pinote <[email protected]>"
+]
+synopsis: "A Coq tactic for proving bounds on real-valued expressions automatically"
+url {
+  src: "https://coqinterval.gitlabpages.inria.fr/releases/interval-4.11.1.tar.gz"
+  checksum: "sha512=6b22f3f67a14d371d24f4cead9288f17d0dfeba1708b4c7de19cd884abf658fb197af032b88afb6e6e887d6478df19def6ba07799c2b7e6e5225f979785e5d97"
+}