diff options
| author | Gaëtan Gilbert | 2018-10-25 11:56:30 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-25 11:56:30 +0200 |
| commit | 94de044826495d8b1d11b9d4b78fb7a7648813e0 (patch) | |
| tree | 10c5c67bb23f3ce9ecdcfa0af98b594219a83919 /coqide-server.opam | |
| parent | f8a101e2d5946ab96e13c1dcdeb766d45a19679e (diff) | |
| parent | 03401366d06f9d9e858a4451ec957e9f98154120 (diff) | |
Merge PR #8762: [dune] [opam] Move to OPAM 2.0
Diffstat (limited to 'coqide-server.opam')
| -rw-r--r-- | coqide-server.opam | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/coqide-server.opam b/coqide-server.opam index 546ce75dbd..ed6f3d98d8 100644 --- a/coqide-server.opam +++ b/coqide-server.opam @@ -1,15 +1,25 @@ -opam-version: "1.2" +synopsis: "The Coq Proof Assistant" +description: """ +Coq is a formal proof management system. It provides +a formal language to write mathematical definitions, executable +algorithms and theorems together with an environment for +semi-interactive development of machine-checked proofs. + +This package provides the `coqidetop` language server, an +implementation of Coq's [XML protocol](https://github.com/coq/coq/blob/master/dev/doc/xml-protocol.md) +which allows clients, such as CoqIDE, to interact with Coq in a +structured way. +""" +opam-version: "2.0" maintainer: "The Coq development team <coqdev@inria.fr>" authors: "The Coq development team, INRIA, CNRS, and contributors." homepage: "https://coq.inria.fr/" bug-reports: "https://github.com/coq/coq/issues" -dev-repo: "https://github.com/coq/coq.git" +dev-repo: "git+https://github.com/coq/coq.git" license: "LGPL-2.1" -available: [ocaml-version >= "4.05.0"] - depends: [ - "dune" { build & >= "1.2.0" } + "dune" { build & >= "1.4.0" } "coq" ] |