Package: hol88-library-help
Source: hol88
Version: 2.02.19940316dfsg-5
Installed-Size: 3079
Maintainer: Camm Maguire <camm@debian.org>
Architecture: all
Description: Higher Order Logic, library online help files
Description-md5: b894edd3e0bf365898f7846ac6e6d35e
Tag: role::documentation
Section: math
Priority: optional
Filename: pool/main/h/hol88/hol88-library-help_2.02.19940316dfsg-5_all.deb
Size: 227748
MD5sum: 2e76bef766713f7ddfe80641586b7d3f
SHA256: 83ee05974e62dbc6bc15738cc0bca938518de2bf6b56f9e9cf587cc038c321c9