]> matita.cs.unibo.it Git - helm.git/blob - matita/dune-project
make_table is now private (= not installed)
[helm.git] / matita / dune-project
1 (lang dune 3.6)
2
3 (name matita)
4
5 (version 0.99.5)
6
7 (generate_opam_files true)
8
9 (source
10  (uri http://matita.cs.unibo.it/download.shtml))
11
12 (authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
13
14 (maintainers "Claudio Sacerdoti Coen")
15
16 (license GPL)
17
18 (homepage http://matita.cs.unibo.it)
19
20 (documentation http://matita.cs.unibo.it)
21
22 (package
23  (name matita)
24  (synopsis "An experimental, interactive theorem prover")
25  (description "Matita (that means pencil in italian) is an experimental, interactive theorem prover under development at the Computer Science Department of the University of Bologna.")
26  (depends
27    (ocamlnet (= 4.1.9.git))
28    (ulex-camlp5 (= 1.3))
29    (ocaml-expat (= 1.1.0))
30    (lablgtk3-sourceview3 (= 3.1.3))
31    (camlp5 (= 8.00.04)))
32  (tags
33   ("interactive theorem proving" "calculus of constructions")))
34
35 ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project