From 3132451d40783b564941edd9f758c65aa2db3623 Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Tue, 14 Jan 2025 20:48:51 +0100 Subject: [PATCH] Gappa support library 1.6.0 --- .../packages/coq-gappa/coq-gappa.1.6.0/opam | 34 +++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 released/packages/coq-gappa/coq-gappa.1.6.0/opam diff --git a/released/packages/coq-gappa/coq-gappa.1.6.0/opam b/released/packages/coq-gappa/coq-gappa.1.6.0/opam new file mode 100644 index 000000000..3cc3b37a4 --- /dev/null +++ b/released/packages/coq-gappa/coq-gappa.1.6.0/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.16"} + "coq-flocq" {>= "4.1"} + "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:2025-01-14" +] +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.6.0.tar.gz" + checksum: "sha512=6967e22beae3269807836908fbb933f5f108a81b9e28d676a22954c215102c33e1aefffd02d1b6c7c6f02b198a32a4596cd1d8720ea7f199e9f8231de88a1ba7" +}