From c07b44229790b577d1a105fbfeb1c867d493e202 Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Wed, 20 Sep 2023 18:27:10 +0200 Subject: [PATCH] Gappa 1.5.4 --- .../packages/coq-gappa/coq-gappa.1.5.4/opam | 34 +++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 released/packages/coq-gappa/coq-gappa.1.5.4/opam diff --git a/released/packages/coq-gappa/coq-gappa.1.5.4/opam b/released/packages/coq-gappa/coq-gappa.1.5.4/opam new file mode 100644 index 000000000..9ea689f47 --- /dev/null +++ b/released/packages/coq-gappa/coq-gappa.1.5.4/opam @@ -0,0 +1,34 @@ +opam-version: "2.0" +maintainer: "guillaume.melquiond@inria.fr" +homepage: "https://gappa.gitlabpages.inria.fr/" +dev-repo: "git+https://gitlab.inria.fr/gappa/coq.git" +bug-reports: "https://gitlab.inria.fr/gappa/coq/issues" +license: "LGPL-3.0-or-later" +build: [ + ["autoconf"] {dev} + ["./configure"] + ["./remake" "-j%{jobs}%"] +] +install: ["./remake" "install"] +depends: [ + "ocaml" + "ocamlfind" {build} + "coq" {>= "8.8.1" & < "8.19~"} + "coq-flocq" {>= "3.0"} + "conf-autoconf" {build & dev} + ("conf-g++" {build} | "conf-clang" {build}) +] +tags: [ + "keyword:floating-point arithmetic" + "keyword:interval arithmetic" + "keyword:decision procedure" + "category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures" + "logpath:Gappa" + "date:2023-09-20" +] +authors: [ "Guillaume Melquiond " ] +synopsis: "A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover" +url { + src: "https://gappa.gitlabpages.inria.fr/releases/gappalib-coq-1.5.4.tar.gz" + checksum: "sha512=a86b55503bc228b668f32a3677b879df328a74a6df4aeceb451b1ed3aa94549a75d89c9d50642acd9419fb98ad4b06a86115cf6e0cee8057a553111f2027c147" +}