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"
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
10Typical applications include the certification of properties of
11programming languages (e.g. the CompCert compiler certification
12project, or the Bedrock verified low-level programming library), the
13formalization of mathematics (e.g. the full formalization of the
14Feit-Thompson theorem or homotopy type theory) and teaching."""
15maintainer: ["The Coq development team <coqdev@inria.fr>"]
16authors: ["The Coq development team, INRIA, CNRS, and contributors"]
17license: "LGPL-2.1-only"
18homepage: "https://coq.inria.fr/"
19doc: "https://coq.github.io/doc/"
20bug-reports: "https://github.com/coq/coq/issues"
21depends: [
22 "dune" {>= "2.9"}
23 "coq-core" {= version}
24 "coq-stdlib" {= version}
25 "coqide-server" {= version}
26]
27build: [
28 ["dune" "subst"] {dev}
29 [
30 "dune"
31 "build"
32 "-p"
33 name
34 "-j"
35 jobs
36 "@install"
37 "@runtest" {with-test}
38 "@doc" {with-doc}
39 ]
40]
41dev-repo: "git+https://github.com/coq/coq.git"
42url {
43 src:
44 "https://github.com/coq/coq/releases/download/V8.18.0/coq-8.18.0.tar.gz"
45 checksum: [
46 "md5=8d852367b54f095d9fbabd000304d450"
47 "sha512=46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50"
48 ]
49}