Package: hol88-contrib-source Priority: optional Section: universe/math Installed-Size: 6892 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-contrib-source_2.02.19940316-14_all.deb Size: 977094 MD5sum: affbb7f3fa1ba114c95760ba3ea925f5 SHA1: 993f97e646eceb92244a283e06d6dc739ef9f55d SHA256: 9a5b10b025cb64471a057af3abd5ee952f31ae398c88ae9a6564d2526f83f424 Description: Higher Order Logic, user contributed source Description-md5: ecaaa8ef767bf5b313a2fac994e4dd57 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu