Package: hol88-doc
Architecture: all
Version: 2.02.19940316dfsg-8
Multi-Arch: foreign
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-8_all.deb
Size: 1061710
MD5sum: 70562307a721474440c48287ee361aec
SHA1: 35bd92e17b58882dd1bf925f9101bc58ec599385
SHA256: 14ea907077f3d71a2eb8f5619e2ae88f5836a56028b1f09b7e3813492f106028
SHA512: f8a1db46c71711a7ed4f8ce0b20fb63bf4d7253537717d8d29c031100c8a38601c30d46bf045c0566426e79184cdc72ee4ff435348020a8c3255c6a243476adc
Description: Documentation for hol88
Description-md5: 4dedd761e4ac74cd5822cf0ab6bc3ed2