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.3.tar.gz"
26 checksum: [
27 "sha256=85a5656b2a64da53c6ad3616738faeb6f82c9605a4e3170acd51ecfd188ccd3b"
28 "md5=5fbe0ab4c29f34712143ddba53ddabd8"
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}