Package: matita-doc Priority: optional Section: universe/doc Installed-Size: 1923 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: all Source: matita Version: 0.5.8-3build1 Suggests: matita, yelp Filename: pool/universe/m/matita/matita-doc_0.5.8-3build1_all.deb Size: 1132118 MD5sum: 9bb9f49807e3813778cc722d582e2a17 SHA1: 5e3f1f23c6255556960c55ce10733e7f17b2ec8d SHA256: f2b10fc5c5996c205d87016eab60f9dca0403408421e917e53de7ef68e2dd6f2 Description: user manual of the Matita interactive theorem prover Homepage: http://matita.cs.unibo.it Description-md5: 92f87fcaa4d0a51a734853fe435c7789 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu