From cb00c634b7954ca8fd7c1a70c7a3fad30c9e8c9e Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Thu, 27 Aug 2020 00:16:08 +0200 Subject: [PATCH] [new release] coq-serapi (8.11.0+0.11.1) CHANGES: * [general] Require dune >= 2.0 (@ejgallego, ??) * [serapi] New query `Comments` to return all comments in a document (@ejgallego, ejgallego/coq-serapi#20? , (partially) fixes ejgallego/coq-serapi#191 , ejgallego/coq-serapi#200 ) * [general] Coq's error recovery is now disabled by default (@ejgallego , fixes ejgallego/coq-serapi#201) * [general] New option `--error-recovery` to enable error recovery (@ejgallego , ejgallego/coq-serapi#203) * [general] Bump sexplib dependency to v0.13 (@ejgallego , ejgallego/coq-serapi#204) Fixes incorrect change in ejgallego/coq-serapi#194. * [sertop] Set default value of allow-sprop to be true in agreement with upstream coq v8.11 and added option '--disallow-sprop' to optionally switch it off (--disallow-sprop forbids using the proof irrelevant SProp sort) (ejgallego/coq-serapi#199, @pestun) * [sertop] Set default value of allow-sprop to be true in agreement with upstream coq v8.11 and added option '--disallow-sprop' to optionally switch it off (--disallow-sprop forbids using the proof irrelevant SProp sort) (@pestun , ejgallego/coq-serapi#199) * [sertop] Added option `--topfile` to `sertop` to set top name from a filename (ejgallego/coq-serapi#197, @pestun) * [deps] Require sexplib >= 0.12 , fixed deprecation warnings (ejgallego/coq-serapi#194, @ejgallego) * [general] SerAPI is now tested with OCaml 4.08 and 4.09 (ejgallego/coq-serapi#195 , @ejgallego) * [sertop ] Forward port sername from 0.7.1 (@ejgallego) * [serlib ] Fix ejgallego/coq-serapi#212 "Segfault on universes" (@ejgallego, reported by @cpitclaudel , ejgallego/coq-serapi#214) * [serapi ] Fix ejgallego/coq-serapi#221 "Support COQPATH" (@ejgallego, reported by @cpitclaudel , ejgallego/coq-serapi#224) * [sertop ] Fix ejgallego/coq-serapi#222 "Support --indices-matter" (@ejgallego, reported by @cpitclaudel , ejgallego/coq-serapi#223) * [sertop ] Fix "Stack overflow in main loop" (@pestun , ejgallego/coq-serapi#216) --- .../coq-serapi/coq-serapi.8.11.0+0.11.1/opam | 48 +++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100644 packages/coq-serapi/coq-serapi.8.11.0+0.11.1/opam diff --git a/packages/coq-serapi/coq-serapi.8.11.0+0.11.1/opam b/packages/coq-serapi/coq-serapi.8.11.0+0.11.1/opam new file mode 100644 index 00000000000..408dd64184e --- /dev/null +++ b/packages/coq-serapi/coq-serapi.8.11.0+0.11.1/opam @@ -0,0 +1,48 @@ +opam-version: "2.0" +maintainer: "e@x80.org" +homepage: "https://github.com/ejgallego/coq-serapi" +bug-reports: "https://github.com/ejgallego/coq-serapi/issues" +dev-repo: "git+https://github.com/ejgallego/coq-serapi.git" +license: "GPL-3.0-or-later" +doc: "https://ejgallego.github.io/coq-serapi/" + +synopsis: "Serialization library and protocol for machine interaction with the Coq proof assistant" +description: """ +SerAPI is a library for machine-to-machine interaction with the +Coq proof assistant, with particular emphasis on applications in IDEs, +code analysis tools, and machine learning. SerAPI provides automatic +serialization of Coq's internal OCaml datatypes from/to JSON or +S-expressions (sexps). +""" + +authors: [ + "Emilio Jesús Gallego Arias" + "Karl Palmskog" + "Clément Pit-Claudel" + "Kaiyu Yang" +] + +depends: [ + "ocaml" { >= "4.07.0" } + "coq" { >= "8.11.0" & < "8.12" } + "cmdliner" { >= "1.0.0" } + "ocamlfind" { >= "1.8.0" } + "sexplib" { >= "v0.13.0" } + "dune" { >= "2.0.1" } + "ppx_import" { build & >= "1.5-3" } + "ppx_deriving" { >= "4.2.1" } + "ppx_sexp_conv" { >= "v0.13.0" & < "v0.14" } + "yojson" { >= "1.7.0" } + "ppx_deriving_yojson" { >= "3.4" } +] + +build: [ "dune" "build" "-p" name "-j" jobs ] +x-commit-hash: "348d010c60e74a2667e4acc104970164fc7f28a5" +url { + src: + "https://github.com/ejgallego/coq-serapi/releases/download/8.11.0+0.11.1/coq-serapi-8.11.0+0.11.1.tbz" + checksum: [ + "sha256=f06bb0ab1041ac6f8d73faddda404827ce94b6b3310483e93d7fd18bd018e1ed" + "sha512=ecbed7b5b8451f65d40bf50fd1471b5038029c6f1ae8912c8cb51e61699cc4c158bc4f3533ec5f0898d1fc3d91683c0ff815fa44be7fdaedea59b71ca1d1b7d3" + ] +}