Package: matita Priority: optional Section: universe/math Installed-Size: 18947 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Version: 0.5.8-3build1 Replaces: matita-standard-library Depends: libc6 (>= 2.11), libexpat1 (>= 1.95.8), libgdk-pixbuf2.0-0 (>= 2.22.0), libgdome2-0, libglade2-0 (>= 1:2.6.1), libglib2.0-0 (>= 2.24.0), libgtk2.0-0 (>= 2.12.0), libgtkmathview0c2a, libgtksourceview2.0-0 (>= 2.10.0), libmysqlclient18 (>= 5.5.13-1), libpango1.0-0 (>= 1.14.0), libpcre3 (>= 8.10), libsqlite3-0 (>= 3.5.9), zlib1g (>= 1:1.1.4) Recommends: graphviz, yelp Suggests: matita-doc Conflicts: matita-standard-library Filename: pool/universe/m/matita/matita_0.5.8-3build1_amd64.deb Size: 6010500 MD5sum: 2bb4bf269eb6bc82b30bcccb773ce06a SHA1: 6c0d058edc358304f39707c847f0d587a68b36bc SHA256: 8c67a894f2b1b4a7123ad3ab78a55d2e63b859e61fc165d3a137979efad94c6f Description: interactive theorem prover Homepage: http://matita.cs.unibo.it Description-md5: 13fb5cded399b3f5ec530d08968e9fd3 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu