Package: hol88-source Source: hol88 Version: 2.02.19940316-33 Installed-Size: 1962 Maintainer: Camm Maguire <camm@debian.org> Architecture: all Description: Higher Order Logic, source files Description-md5: 27c7f6d4c5f2c1b835d23e7c80a45f30 Tag: role::source Section: math Priority: optional Filename: pool/main/h/hol88/hol88-source_2.02.19940316-33_all.deb Size: 295528 MD5sum: a9593f3bdecf4d0eecd4240671b1c39e SHA256: 065eff307300c85e73f70abd063bb9af104b773e3bbb74805510f124a1be8a8f