matita/matita.opam

   1 # This file is generated by dune, edit dune-project instead
   2 opam-version: "2.0"
   3 version: "0.99.5"
   4 synopsis: "An experimental, interactive theorem prover"
   5 description:
   6   "Matita (that means pencil in italian) is an experimental, interactive theorem prover under development at the Computer Science Department of the University of Bologna."
   7 maintainer: ["Claudio Sacerdoti Coen"]
   8 authors: [
   9   "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)"
  10 ]
  11 license: "GPL-2.0-or-later"
  12 tags: ["interactive theorem proving" "calculus of constructions"]
  13 homepage: "http://matita.cs.unibo.it"
  14 doc: "http://matita.cs.unibo.it"
  15 bug-reports: "mailto:claudio.sacerdoticoen@unibo.it"
  16 depends: [
  17   "dune" {>= "3.6"}
  18   "ocaml" {>= "4.14.1"}
  19   "ocamlnet" {>= "4.1.9.git"}
  20   "ulex-camlp5" {>= "1.3"}
  21   "ocaml-expat" {>= "1.1.0"}
  22   "pcre" {>= "7.5.0"}
  23   "ocaml-http" {>= "0.1.6"}
  24   "camlzip" {>= "1.11"}
  25   "lablgtk3-sourceview3" {>= "3.1.3"}
  26   "dune-build-info"
  27   "dune-site"
  28   "camlp5" {>= "8.00.04"}
  29   "odoc" {with-doc}
  30 ]
  31 build: [
  32   ["dune" "subst"] {dev}
  33   [
  34     "dune"
  35     "build"
  36     "-p"
  37     name
  38     "-j"
  39     jobs
  40     "--promote-install-files=false"
  41     "@install"
  42     "@runtest" {with-test}
  43     "@doc" {with-doc}
  44   ]
  45   ["dune" "install" "-p" name "--create-install-files" name]
  46 ]
  47 dev-repo: "git://matita.cs.unibo.it/git/helm"