Package: hol88-library-help
Source: hol88
Priority: optional
Section: universe/math
Installed-Size: 3079
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 2.02.19940316dfsg-8build1
Filename: pool/universe/h/hol88/hol88-library-help_2.02.19940316dfsg-8build1_all.deb
Size: 237540
MD5sum: d08cae9a8361a35f121ce158219ff01a
SHA1: 1931bf4f2726d0c8df83b763c58cd68b1a6ee935
SHA256: 3c8cc960dd99c94420cf4900665273c169acec5968f2de5b6c6aa819bf56ad11
SHA512: bcfe9587bfae4c5b1a746b44727c85565f2ed8aadcbbafa975649937d4e01712ce865f2cfed400f7b2abc485fbc1d7dfb7a590ac0d0266fb3f0ab8c62a6b9e3d
Description: Higher Order Logic, library online help files
Description-md5: b894edd3e0bf365898f7846ac6e6d35e
Original-Maintainer: Camm Maguire <camm@debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug