Package: hol88
Priority: optional
Section: universe/math
Installed-Size: 239349
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.02.19940316dfsg-9
Depends: libc6 (>= 2.43), libedit2 (>= 2.11-20080614-0), libgmp10 (>= 2:6.3.0+dfsg), libtirpc3t64 (>= 1.0.2)
Filename: pool/universe/h/hol88/hol88_2.02.19940316dfsg-9_amd64.deb
Size: 14572790
SHA512: ef9228b7efdda1c39061fe5c052b56fd0522944a666c2f2278f6bef1ed0623514e20efb8e9c50b29a025830278e33427bd6fe573b67695a40971417941ef1539
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