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 -- Standard Library"
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.
15
16This package includes the Coq Standard Library, that is to say, the
17set of modules usually bound to the Coq.* namespace."""
18maintainer: ["The Coq development team <coqdev@inria.fr>"]
19authors: ["The Coq development team, INRIA, CNRS, and contributors"]
20license: "LGPL-2.1-only"
21homepage: "https://coq.inria.fr/"
22doc: "https://coq.github.io/doc/"
23bug-reports: "https://github.com/coq/coq/issues"
24depends: [
25 "dune" {>= "2.9"}
26 "coq-core" {= version}
27]
28build: [
29 # Requires dune 2.8 due to https://github.com/ocaml/dune/issues/3219
30 # ["dune" "subst"] {pinned}
31 #
32 # XXX need to run configure as in coq-core, or else dunestrap will
33 # use the default rule in config
34 [ "./configure"
35 "-prefix" prefix
36 "-mandir" man
37 "-libdir" "%{lib}%/coq"
38 "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
39 ]
40 [ make "dunestrap" "COQ_DUNE_EXTRA_OPT=-split" ]
41 [
42 "dune"
43 "build"
44 "-p"
45 name
46 "-j"
47 jobs
48 "@install"
49 "@runtest" {with-test}
50 "@doc" {with-doc}
51 ]
52]
53dev-repo: "git+https://github.com/coq/coq.git"
54depopts: ["coq-native"]
55url {
56 src:
57 "https://github.com/coq/coq/releases/download/V8.18.0/coq-8.18.0.tar.gz"
58 checksum: [
59 "md5=8d852367b54f095d9fbabd000304d450"
60 "sha512=46922d5f2eb6802a148a52fd3e7f0be8370c93e7bc33cee05cf4a2044290845b10ccddbaa306f29c808e7c5019700763e37e45ff6deb507b874a4348010fed50"
61 ]
62}