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 --- GTK3 IDE"
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 CoqIDE, a graphical user interface for the
11development of interactive proofs."""
12maintainer: ["The Coq development team <coqdev@inria.fr>"]
13authors: ["The Coq development team, INRIA, CNRS, and contributors"]
14license: "LGPL-2.1-only"
15homepage: "https://coq.inria.fr/"
16doc: "https://coq.github.io/doc/"
17bug-reports: "https://github.com/coq/coq/issues"
18depends: [
19 "dune" {>= "2.9"}
20 "ocamlfind" {build}
21 "conf-findutils" {build}
22 "conf-adwaita-icon-theme"
23 "coqide-server" {= version}
24 "cairo2" {>= "0.6.4"}
25 "lablgtk3-sourceview3" {>= "3.1.2"}
26]
27build: [
28 # Requires dune 2.8 due to https://github.com/ocaml/dune/issues/3219
29 # ["dune" "subst"] {pinned}
30 [
31 "dune"
32 "build"
33 "-p"
34 name
35 "-j"
36 jobs
37 "@install"
38 "@runtest" {with-test}
39 "@doc" {with-doc}
40 ]
41]
42dev-repo: "git+https://github.com/coq/coq.git"
43url {
44 src:
45 "https://github.com/coq/coq/releases/download/V8.18.0/coq-8.18.0.tar.gz"
46 checksum: [
47 "md5=8d852367b54f095d9fbabd000304d450"
48 "sha512=46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50"
49 ]
50}