Package: hol88
Architecture: amd64
Version: 2.02.19940316dfsg-5build3
Priority: optional
Section: universe/math
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: 57934
Depends: libc6 (>= 2.38), libedit2 (>= 2.11-20080614-0), libgmp10 (>= 2:6.3.0+dfsg), libtirpc3t64 (>= 1.0.2), libx11-6
Filename: pool/universe/h/hol88/hol88_2.02.19940316dfsg-5build3_amd64.deb
Size: 8031848
MD5sum: cbbb575b96d3ab4d448a366795441aea
SHA1: 247aa951e17adb89fdb233d67eeb8253096c2e5e
SHA256: 42b63e6a27e1670fc37bd6c3f032e47631ded80ca129cc2ff22fa3fb06c758c7
SHA512: 7570d04ad6bbe3f8644983f12dd6508d64b4f88f4660d5f70a5916c3954a0f35c811bb04b24eaffea58920b3f4ceb04e96a9319c3bfa0eb98ca38d36a17e9f29
Description: Higher Order Logic, system image
Description-md5: 856cec9d207e6303a374714c344fc2a5