Package: hol88-doc
Source: hol88
Priority: optional
Section: universe/math
Installed-Size: 1062
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 2.02.19940316dfsg-9
Filename: pool/universe/h/hol88/hol88-doc_2.02.19940316dfsg-9_all.deb
Size: 1061112
SHA512: 6ad33529e43935895cc69812610c38786c7c9dc3449c83bcfce534317012ebd131d09c846b24b1d0b4c623b94800c0b51ae0af8925734562741800f23eeeac7b
Description: Documentation for hol88
Description-md5: 4dedd761e4ac74cd5822cf0ab6bc3ed2
Original-Maintainer: Camm Maguire <camm@debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug