-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
29 lines (27 loc) · 1.17 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
synopsis: "Sexp-based serialization library and protocol for machine interaction with the Coq proof assistant"
description: "Sexp-based serialization library and protocol for machine interaction with the Coq proof assistant"
opam-version: "2.0"
maintainer: "e@x80.org"
authors: "Emilio Jesús Gallego Arias"
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-only"
doc: "https://ejgallego.github.io/coq-serapi/doc"
depends: [
"ocaml" { >= "4.06.0" }
"coq" { >= "8.9.0" & < "8.10" }
"cmdliner" { >= "1.0.0" }
"ocamlfind" { >= "1.8.0" }
"sexplib" { >= "v0.11.0" & < "v0.15" }
"dune" { >= "1.2.0" }
"ppx_import" {build & >= "1.5-3" & < "2.0"}
"ppx_deriving" { build & >= "4.2.1" }
"ppx_sexp_conv" { build & >= "v0.11.0" & < "v0.15" }
]
build: [ "dune" "build" "-p" name "-j" jobs ]
url {
src:
"https://github.com/ejgallego/coq-serapi/archive/8.9.0+0.6.0.tar.gz"
checksum: "md5=8b52f643a3c9019c551e0757e1b3b569"
}