Package: hol88-contrib-source Priority: optional Section: universe/math Installed-Size: 5520 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Architecture: all Source: hol88 Version: 2.02.19940316-31 Filename: pool/universe/h/hol88/hol88-contrib-source_2.02.19940316-31_all.deb Size: 730092 MD5sum: eb1abd345ba5ca46a698698e15e31779 SHA1: 294e110cc6481c9ce53a713c1a49ade5a2b322a7 SHA256: 12ec62efa8af467c3c3c019a77440d0f0a4d2a5cd8219e092af0665ffb24a8a0 Description: Higher Order Logic, user contributed source Description-md5: ecaaa8ef767bf5b313a2fac994e4dd57 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu