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