Source: matita
Section: math
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Enrico Tassi <gareuselesinge@debian.org>
Build-Depends:
 ocaml (>= 3.10.2),
 ocaml-findlib (>= 1.2.1-2),
 libgdome2-ocaml-dev,
 liblablgtk2-ocaml-dev,
 liblablgtkmathview-ocaml-dev (>= 0.7.8-3),
 libsqlite3-ocaml-dev,
 libocamlnet-ocaml-dev,
 libzip-ocaml-dev,
 libhttp-ocaml-dev,
 ocaml-ulex08 (>= 0.8-4),
 libexpat-ocaml-dev,
 debhelper (>= 5),
 cdbs,
 libmysql-ocaml-dev,
 camlp5 (>= 5.04),
 liblablgtksourceview2-ocaml-dev,
 help2man,
 libgtkmathview-dev (>= 0.8.0-2)
Build-Depends-Indep: xsltproc, dblatex, docbook-xsl, docbook-xml
Standards-Version: 3.8.3
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/matita.git
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/matita.git
Homepage: http://matita.cs.unibo.it

Package: matita
Architecture: any
Depends: ${shlibs:Depends}, ${interpreter:Depends}, ${misc:Depends}
Recommends: graphviz, yelp
Suggests: matita-doc
Conflicts: matita-standard-library
Replaces: matita-standard-library
Description: interactive theorem prover
 Matita is a graphical interactive theorem prover based on the Calculus of
 (Co)Inductive Constructions. 
 .
 Matita adopts XML-encoded proof objects are produced for storage and exchange.
 This makes it compatible, at some extent, with Coq.
 .
 The graphical interface has been inspired by CtCoq and Proof General. It
 supports high quality bidimensional rendering of proofs and formulae
 transformed on-the-fly to MathML markup

Package: matita-doc
Architecture: all
Suggests: matita, yelp
Depends: ${misc:Depends}
Section: doc
Description: user manual of the Matita interactive theorem prover
 This package contains the PDF and HTML formatted Matita user manual.

