1 # This file is generated by dune, edit dune-project instead
4 synopsis: "An experimental, interactive theorem prover"
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"]
9 "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)"
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"
19 "ulex-camlp5" {>= "1.3"}
20 "ocaml-expat" {>= "1.1.0"}
22 "ocamlnet" {>= "4.1.9.git"}
23 "ocaml-http" {>= "0.1.6"}
25 "lablgtk3-sourceview3" {>= "3.1.3"}
28 "camlp5" {>= "8.00.04"}
32 ["dune" "subst"] {dev}
40 "--promote-install-files=false"
42 "@runtest" {with-test}
45 ["dune" "install" "-p" name "--create-install-files" name]
47 dev-repo: "git://matita.cs.unibo.it/git/helm"