this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "The Coq Proof Assistant, XML protocol server"
4description: """
5Coq is a formal proof management system. It provides
6a formal language to write mathematical definitions, executable
7algorithms and theorems together with an environment for
8semi-interactive development of machine-checked proofs.
9
10This package provides the `coqidetop` language server, an
11implementation of Coq's [XML protocol](https://github.com/coq/coq/blob/master/dev/doc/xml-protocol.md)
12which allows clients, such as CoqIDE, to interact with Coq in a
13structured way."""
14maintainer: ["The Coq development team <coqdev@inria.fr>"]
15authors: ["The Coq development team, INRIA, CNRS, and contributors"]
16license: "LGPL-2.1-only"
17homepage: "https://coq.inria.fr/"
18doc: "https://coq.github.io/doc/"
19bug-reports: "https://github.com/coq/coq/issues"
20depends: [
21 "dune" {>= "2.9"}
22 "coq-core" {= version}
23]
24build: [
25 # Requires dune 2.8 due to https://github.com/ocaml/dune/issues/3219
26 # ["dune" "subst"] {pinned}
27 [
28 "dune"
29 "build"
30 "-p"
31 name
32 "-j"
33 jobs
34 "@install"
35 "@doc" {with-doc}
36 ]
37]
38dev-repo: "git+https://github.com/coq/coq.git"
39url {
40 src:
41 "https://github.com/coq/coq/releases/download/V8.18.0/coq-8.18.0.tar.gz"
42 checksum: [
43 "md5=8d852367b54f095d9fbabd000304d450"
44 "sha512=46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50"
45 ]
46}