Package: hol88-source Priority: optional Section: universe/math Installed-Size: 2188 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Architecture: all Source: hol88 Version: 2.02.19940316-14 Filename: pool/universe/h/hol88/hol88-source_2.02.19940316-14_all.deb Size: 373364 MD5sum: 259cfc8dd6afc29577a3eeb605789529 SHA1: 3d9ea61e3ad114f41ad00c2cbbdd55faba936c8e SHA256: fc3aa05fe19b8eb38d55906a79fb1be3352b99cbcd7c81eaa89ce4010f9f7873 Description: Higher Order Logic, source files Description-md5: 27c7f6d4c5f2c1b835d23e7c80a45f30 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu