Package: hol88-doc
Architecture: all
Version: 2.02.19940316dfsg-5build3
Priority: optional
Section: universe/math
Source: hol88
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1062
Filename: pool/universe/h/hol88/hol88-doc_2.02.19940316dfsg-5build3_all.deb
Size: 1061134
MD5sum: 258d1dd30145ccf5711ddcbb4d7c746f
SHA1: 08862269b21e6d72d3dfa6f120bd2144186bd965
SHA256: cf6dead3fc1a65aac5ab7d97193f7b3cd680e3016feefb5b4eb3ff14bc51a85b
SHA512: 162e2571c01a6b3cf9c79d507518da616fc87378ed5a3d20193b38405894c9c912e729b5ab9cbf7c60d7a0e5eae5aa9e49cc27e20ce160cb9151cc18677a9dba
Description: Documentation for hol88
Description-md5: 4dedd761e4ac74cd5822cf0ab6bc3ed2