Package: hol88-source
Source: hol88
Version: 2.02.19940316dfsg-5
Installed-Size: 1647
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.19940316dfsg-5_all.deb
Size: 273880
MD5sum: 53928f27c15425a974bd822eea803a5d
SHA256: ffd81efff456b083d857b1f279492a558c46ddbb46c6f4064a2314c5da328858