architecture: amd64 component: main package: hol88 priority: optional section: math srcpkg_name: hol88 srcpkg_version: 2.02.19940316dfsg-5 version: 2.02.19940316dfsg-5+b1