-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
32 lines (30 loc) · 1.38 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
30
31
32
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/"
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/releases/download/8.9.0+0.6.1/coq-serapi-8.9.0.0.6.1.tbz"
checksum: [
"sha256=136e0e4495616a0cb60b8e375b8fb7a93f6670ac31d1c13ba40454f7b6f4b671"
"sha512=079b890f88e638a4aae336f9827c46a8fffb5ce7eb6dec55ca1a41fe6a414fc8208d2e024689337275b19e00797f0bb26810c4de3e81a101a6dece2b1552a04b"
]
}