opam-version: "2.0"
maintainer: "dev@clarus.me"
homepage: "https://coq.inria.fr/"
dev-repo: "git://scm.gforge.inria.fr/coq/coq.git"
bug-reports: "https://coq.inria.fr/bugs/"
build: [
  [
    "./configure"
    "-makecmd"
    "%{make}%"
    "-configdir"
    "%{lib}%/coq/config"
    "-mandir"
    man
    "-docdir"
    doc
    "--prefix"
    prefix
    "--usecamlp5"
    "--camlp5dir"
    "%{camlp5:lib}%"
    "--coqide"
    "no"
  ]
  ["%{make}%" "-j%{jobs}%" "world"]
  ["%{make}%" "-j%{jobs}%" "states"]
]
remove: ["rm" "-R" "%{lib}%/coq"]
depends: [
  "ocaml" {>= "3.11.2" & < "4.03"}
  "camlp5" {< "8"}
  "ocamlbuild" {build}
  "num"
  "conf-findutils" {build}
]
install: ["%{make}%" "install"]
synopsis: "Formal proof management system."
flags: light-uninstall
extra-files: ["coq.install" "md5=0bee75113a7888368e9e06ad9ac40aad"]
url {
  src: "https://coq.inria.fr/distrib/V8.4pl6/files/coq-8.4pl6.tar.gz"
  checksum: "md5=2334a98b64578cb81d2b4127e327b368"
}
