this repo has no description
anil.recoil.org
1synopsis: "Sexp-based Protocol for machine-based interaction with the Coq Proof Assistant"
2opam-version: "2.0"
3maintainer: "e@x80.org"
4authors: "Emilio Jesús Gallego Arias"
5homepage: "https://github.com/ejgallego/coq-serapi"
6bug-reports: "https://github.com/ejgallego/coq-serapi/issues"
7dev-repo: "git+https://github.com/ejgallego/coq-serapi.git"
8license: "GPL-3.0-only"
9
10depends: [
11 "ocaml" {>= "4.06.0"}
12 "coq" {>= "8.8.0" & < "8.9"}
13 "camlp5"
14 "cmdliner" {>= "0.9.8" & < "1.1.0"}
15 "sexplib" {< "v0.13"}
16 "ocamlfind" {build}
17 "ocamlbuild" {build}
18 "ppx_import" {>= "1.4" & < "2.0"}
19 "ppx_deriving" {>= "4.2.1"}
20 "ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}
21]
22
23build: [ make "-j%{jobs}%" "TARGET=native" ]
24
25url {
26 src: "https://github.com/ejgallego/coq-serapi/archive/8.8.0+0.5.6.tar.gz"
27 checksum: "sha512=6a3bdafde912f2f3de3c0cdc5f8ddd865fd4260dde28f3f39fe29bc1fae4327a85ee3916aa808779aae5b5d4a1063ba59bb89854cd4f0af8b612efce9ae65551"
28}
29extra-source "coq-serapi.install" {
30 src:
31 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq-serapi/coq-serapi.install"
32 checksum: [
33 "sha256=9ed6181d3e8cbf5356636d588d7ab6c9fc92646494a464edb4c76055216f903e"
34 "md5=5f618a1d7a4105aaac53506065bf7d8b"
35 ]
36}