Package: hol88
Architecture: i386
Version: 2.02.19940316-35
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: 40192
Depends: libc6 (>= 2.15), libgmp10, libreadline7 (>= 6.0), libx11-6
Filename: pool/universe/h/hol88/hol88_2.02.19940316-35_i386.deb
Size: 5236120
MD5sum: d5c2ee5bae2aab1303af2e2fe33902cd
SHA1: 3563b16c6b3307c5caf3197198e02023c9ca8c20
SHA256: 1d6c69a6818148e9aa36c5694f0e7084c32e83f47e8696dc08996de047711a2d
Description: Higher Order Logic, system image
Description-md5: 856cec9d207e6303a374714c344fc2a5