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.4.tar.gz"
27 checksum: [
28 "sha256=ee2ce3a5a96f0eb825496dbcf59f71ba41d4fdc66a03648609ba9960bf63c196"
29 "md5=1533833d0def8f278bcc2f4f96f18c0b"
30 ]
31}
32extra-source "coq-serapi.install" {
33 src:
34 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/coq-serapi/coq-serapi.install"
35 checksum: [
36 "sha256=9ed6181d3e8cbf5356636d588d7ab6c9fc92646494a464edb4c76055216f903e"
37 "md5=5f618a1d7a4105aaac53506065bf7d8b"
38 ]
39}