Package: hol88
Priority: optional
Section: universe/math
Installed-Size: 239361
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.02.19940316dfsg-8build1
Depends: libc6 (>= 2.38), libedit2 (>= 2.11-20080614-0), libgmp10 (>= 2:6.3.0+dfsg), libtirpc3t64 (>= 1.0.2)
Filename: pool/universe/h/hol88/hol88_2.02.19940316dfsg-8build1_amd64.deb
Size: 14379984
MD5sum: cbbc27231c4d36f326c3a72105bc1bf9
SHA1: fd2ca79edb5d86c76602b2eb745cd35e0c65c8d9
SHA256: 409393bf2539534e93b3e34088f698a7e9ce22acda2a146f7d1f83256b69680b
SHA512: 2a8112795e9c63d32d0ef1b6904815a1f4ccdd0885b589e8da712ea9c0e2fa8858b4e909627f8cf8ee4223991a086eddcc04a2e323c285eebd4b5c7dd1fa2464
Description: Higher Order Logic, system image
Description-md5: 856cec9d207e6303a374714c344fc2a5
Original-Maintainer: Camm Maguire <camm@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug