Package: mozart-doc Priority: optional Section: universe/devel Installed-Size: 19852 Maintainer: Ubuntu Developers Original-Maintainer: Kevin Glynn Architecture: all Source: mozart Version: 1.4.0-8ubuntu1 Replaces: mozart-doc-html Depends: konqueror | www-browser Recommends: mozart (>= 1.3.0) Conflicts: mozart-doc-html Filename: pool/universe/m/mozart/mozart-doc_1.4.0-8ubuntu1_all.deb Size: 3579696 MD5sum: 0e43ef9e57c0066bac4a1abd61519f1b SHA1: 80d83552e6ddf1da73a144917c2604aa4013d6ff SHA256: 258b1852631311c3bc0c2841706a467ac2c8840578aa62cbbe7180c1e2d3ac67 Description: Mozart Programming System (Documentation) Homepage: http://www.mozart-oz.org/ Description-md5: b6c19cd2e0b2b809ea6b4b0d9f35325c Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu