diff options
| author | Emilio Jesus Gallego Arias | 2018-09-24 02:22:00 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-23 17:27:51 +0200 |
| commit | 03401366d06f9d9e858a4451ec957e9f98154120 (patch) | |
| tree | a26b4bbf884c5856242904e9349b5bd07c2c8f6d /coqide-server.opam | |
| parent | 724d908c2e2e81cf36fe09da5a054f49f534629b (diff) | |
[dune] [opam] Move to OPAM 2.0
We need to update in Docker:
- dune to 1.4.0: as it honors `-p` on test stanzas
- dune-release to 1.1.0: support for OPAM 2.0 + fixes
This makes `dune-release distrib` / `dune-release opam pkg` work.
TODO: we need to figure out what is going on with the
versioning. Should we do `dune subst` on `pinned`?
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" ] |