Package: hol88-help
Source: hol88
Version: 2.02.19940316dfsg-5
Installed-Size: 1868
Maintainer: Camm Maguire <camm@debian.org>
Architecture: all
Description: Higher Order Logic, online help files
Description-md5: 3cbb7591c156d7493454903e09a5e3de
Tag: role::documentation
Section: math
Priority: optional
Filename: pool/main/h/hol88/hol88-help_2.02.19940316dfsg-5_all.deb
Size: 209292
MD5sum: 13149c402b486edede2163284c6a62ee
SHA256: 04dc03039fec2460a4e662f901ea259e1056195d8e0dcc110746150acdcd4ee8