Package: hol88
Architecture: amd64
Version: 2.02.19940316-35.1
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: 60011
Depends: libc6 (>= 2.29), libgmp10, libreadline8 (>= 6.0), libtirpc3 (>= 1.0.2), libx11-6
Filename: pool/universe/h/hol88/hol88_2.02.19940316-35.1_amd64.deb
Size: 7011864
MD5sum: c69b86a2be3c1eedd60350d2e0730c78
SHA1: 6084b2f6fd0dcdc2c58fd79a43d1c83d6153e308
SHA256: 88c6b9ea6fec56aa369955105c28a480da20d63488788c33cb5fd9430bc62d52
SHA512: 7296e86bc1b76a3360a163ed1250f5868e9a2f601914ac5decea6c3f4a2950d934d70ef9d7bdd394d9cded023856f8ddcefa2fd9566bf3d9ab5d2e8ab3b62612
Description: Higher Order Logic, system image
Description-md5: 856cec9d207e6303a374714c344fc2a5