Package: matita Source: matita (0.99.3-1) Version: 0.99.3-1+b1 Installed-Size: 18851 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Depends: libatk1.0-0 (>= 1.12.4), libc6 (>= 2.15), libcairo2 (>= 1.2.4), libexpat1 (>= 2.0.1), libfontconfig1 (>= 2.11), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglade2-0 (>= 1:2.6.4-2~), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0), libpcre3, libxml2 (>= 2.6.27), zlib1g (>= 1:1.1.4) Recommends: graphviz, yelp Description: interactive theorem prover Homepage: http://matita.cs.unibo.it Description-md5: f4799716fefe421c4795fbe113376ebf Tag: field::mathematics, implemented-in::ocaml, interface::commandline, interface::graphical, interface::x11, role::program, uitoolkit::gtk, use::checking, x11::application Section: math Priority: optional Filename: pool/main/m/matita/matita_0.99.3-1+b1_amd64.deb Size: 3455742 MD5sum: a6d571dbad37daa4d1b9ae3dc447506a SHA256: c06e6cbd1b1bec09a6af0883f8eefb5bb8fdb2da9f1962a145af4f620c79563b