Package: hol88-library-help
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: 3079
Filename: pool/universe/h/hol88/hol88-library-help_2.02.19940316dfsg-5build3_all.deb
Size: 237282
MD5sum: a77d10b951c9e784ba03825005bca19f
SHA1: 1ed63327305a41c437668b1576a966afc2c8f29e
SHA256: 302cb0fe9f2ce5753d5b6bcd18c37e62f395399c14b751b18b3ac26fcc5fa9a2
SHA512: a599b418e1be49f963c50560af11c94b5f74a6d8990774494925b1e956bb2509cceacd508248feb14dc3afc4d811ecc6ffb121d805446cba64bfa1fb74277111
Description: Higher Order Logic, library online help files
Description-md5: b894edd3e0bf365898f7846ac6e6d35e