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-8build1
Filename: pool/universe/h/hol88/hol88-doc_2.02.19940316dfsg-8build1_all.deb
Size: 1061914
MD5sum: 01b6ca728fea71f6159419178be0fd20
SHA1: 0eb108dc36ff9a9ad1e34c0473bc5da336a22d43
SHA256: b03f98e1818391647c3253052f780a7f79d124fe35bc9bf608794684e7ca4a8d
SHA512: f9bc1116d181414ec4812939b382e44afe13d8c022baf5c72a12eac0040579bf2b8458f7accfa35787314e7950ed74d6504d285f9df88a0a11b125d8e51ead98
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