pkg-matita/trunk/debian/control

   1 Source: matita
   2 Section: math
   3 Priority: optional
   4 Maintainer: Enrico Tassi <gareuselesinge@debian.org>
   5 Build-Depends: ocaml, ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev (>= 0.21.0), libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev
   6 Standards-Version: 3.7.2
   7
   8 Package: matita
   9 Architecture: any
  10 Depends: ${shlibs:Depends}
  11 Recommends: matita-standard-library
  12 Description: Matita interactive theorem prover
  13  Matita is an interactive theorem prover based on the Calculus of (Co)Inductive
  14  Constructions.
  15
  16  Matita adopts XML-encoded proof objects are produced for storage and exchange.
  17  This makes it compatible, at some extent, with Coq.
  18
  19  The graphical interface has been inspired by CtCoq and Proof General. It
  20  supports high quality bidimensional rendering of proofs and formulae
  21  transformed on-the-fly to MathML markup
  22
  23 Package: matita-standard-library
  24 Architecture: all
  25 Recommends: matita
  26 Description: matita interactive theorem prover standard library
  27  This package contains the standard library of theorems of the
  28  matita interactive theorem prover.