Package: hol88 Priority: optional Section: universe/math Installed-Size: 60787 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Architecture: amd64 Version: 2.02.19940316-31 Depends: libc6 (>= 2.15), libgmp10, libreadline6 (>= 6.0), libx11-6 Filename: pool/universe/h/hol88/hol88_2.02.19940316-31_amd64.deb Size: 6235996 MD5sum: 2fd3c0026590e85a3cbcc0dfed5a8ffc SHA1: 525facf42e683ba2363332b6a7ed949ca489cf49 SHA256: 0a46a002d672bb76661eb7c943c526a4d957693001b0999a1939679dde48f5f0 Description: Higher Order Logic, system image Description-md5: 856cec9d207e6303a374714c344fc2a5 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu