Package: hol88
Architecture: amd64
Version: 2.02.19940316dfsg-8
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: 239349
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-8_amd64.deb
Size: 14419096
MD5sum: 72225918eb32136c2e31343c1e057fba
SHA1: 0b1c8946c34b5f0009d0a05e13ea9343ce8ef284
SHA256: 9b4cee8e57370d1ae081681ff6590395504f9682fbefb37de84bf6855e47bba5
SHA512: 5d83bf59512e6a59ef690dfd34fb7149900526ec40fef6ffcd51d005896d0ca9029247be072c37b5294360f96caa395250694066bc1d1e161b5bb87cd9932d54
Description: Higher Order Logic, system image
Description-md5: 856cec9d207e6303a374714c344fc2a5