From 0f14a8c1ba03b9777312d89e6364ea84c5b17327 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Thu, 21 Mar 2024 16:10:15 +0100 Subject: [PATCH] [new release] coq-serapi (8.19.0+0.19.2) CHANGES: - [serlib] Fix (@ejgallego, ejgallego/coq-serapi#398, fixes ejgallego/coq-serapi#397 fixes sr-lab/coqpyt#35 , thanks to @laetitia-teo and @Nfsaavedra for the bug report) --- .../coq-serapi/coq-serapi.8.19.0+0.19.2/opam | 60 +++++++++++++++++++ 1 file changed, 60 insertions(+) create mode 100644 packages/coq-serapi/coq-serapi.8.19.0+0.19.2/opam diff --git a/packages/coq-serapi/coq-serapi.8.19.0+0.19.2/opam b/packages/coq-serapi/coq-serapi.8.19.0+0.19.2/opam new file mode 100644 index 00000000000..8c6e86ae936 --- /dev/null +++ b/packages/coq-serapi/coq-serapi.8.19.0+0.19.2/opam @@ -0,0 +1,60 @@ +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: "LGPL-2.1-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.09.0" } + "coq" { >= "8.19" & < "8.20" } + "cmdliner" { >= "1.1.0" } + "ocamlfind" { >= "1.8.0" } + "sexplib" { >= "v0.13.0" } + "dune" { >= "2.0.1" } + "ppx_import" { build & >= "1.5-3" & < "2.0" } + "ppx_deriving" { >= "4.2.1" } + "ppx_sexp_conv" { >= "v0.13.0" } + "ppx_compare" { >= "v0.13.0" } + "ppx_hash" { >= "v0.13.0" } + "yojson" { >= "1.7.0" } + "ppx_deriving_yojson" { >= "3.4" } + + # math-comp ssreflect is needed to run the tests. + # + # We can't enable this due to coq-mathcomp-ssreflect not being in + # the main opam repos, that would make opam's CI fail. + # "coq-mathcomp-ssreflect" { with-test & >= "1.15" } +] + +conflicts: [ + "result" {< "1.5"} +] + +build: [ "dune" "build" "-p" name "-j" jobs ] +url { + src: + "https://github.com/ejgallego/coq-serapi/releases/download/8.19.0%2B0.19.2/coq-serapi-8.19.0.0.19.2.tbz" + checksum: [ + "sha256=2106a7f8bc1b38a2a0da6f9425aa21a57c508771da75c59c0b08481e9ec9a083" + "sha512=a09a6d6f37724bf5aa0166e7064e703a8e8d4d939a474353b515bb55b764b988a18a5979a0eba97d9bbc12d89502aeec0788f35c5c8e6917845046e90737b5fc" + ] +} +x-commit-hash: "a3ea9ff684bfb9503c21ddc6bc78fa23c102f9e0"