Package: hol88-contrib-help Priority: optional Section: universe/math Installed-Size: 151 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Architecture: all Source: hol88 Version: 2.02.19940316-19 Filename: pool/universe/h/hol88/hol88-contrib-help_2.02.19940316-19_all.deb Size: 23784 MD5sum: 98be2b6d4398d97530ba0c491c456d01 SHA1: b1e0e149b0091325fcf11bc259cb60c185ff5414 SHA256: c242737bae2fbd12daf9b24cd532e0bfe626807e80baccc810e1b2cf3b2d4a4f Description: Higher Order Logic, user contributed online help files Description-md5: d78dae76f790d231cd99bcb9d7919b79 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu