this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "coqdev@inria.fr"
3authors: "The Coq development team, INRIA, CNRS, and contributors."
4homepage: "https://coq.inria.fr/"
5bug-reports: "https://github.com/coq/coq/issues"
6dev-repo: "git+https://github.com/coq/coq.git"
7license: "LGPL-2.1-only"
8synopsis: "IDE of the Coq formal proof management system"
9description: """
10CoqIDE is a graphical user interface for interactive development
11of mathematical definitions, executable algorithms, and proofs of theorems
12using the Coq proof assistant.
13"""
14
15depends: [
16 "coq" {= version}
17 "ocamlfind" {build}
18 "dune" {>= "2.5.1"}
19 "conf-findutils" {build}
20 "lablgtk3-sourceview3"
21 "conf-adwaita-icon-theme"
22]
23build: [
24 [
25 "./configure"
26 "-configdir" "%{lib}%/coq/config"
27 "-prefix" prefix
28 "-mandir" man
29 "-docdir" "%{doc}%/coq"
30 "-libdir" "%{lib}%/coq"
31 "-datadir" "%{share}%/coq"
32 "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
33 ]
34 [ "dune" "build" "-p" name "-j" jobs ]
35]
36
37url {
38 src: "https://github.com/coq/coq/releases/download/V8.15.1/coq-8.15.1.tar.gz"
39 checksum: "sha256=513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2"
40}