Package: hol88-library-source
Source: hol88
Version: 2.02.19940316dfsg-5
Installed-Size: 3494
Maintainer: Camm Maguire <camm@debian.org>
Architecture: all
Description: Higher Order Logic, library source files
Description-md5: e521c5a5140872f1eacc44ebd11ff5bc
Tag: role::source
Section: math
Priority: optional
Filename: pool/main/h/hol88/hol88-library-source_2.02.19940316dfsg-5_all.deb
Size: 410508
MD5sum: 3f7c34627cc12d10cfc4eaf3425c83b7
SHA256: 15ff224b61eb93a6f9c5cdf63940914ed87ea9be4872db13fc07943c890a510c