File list of package hol88 in sid of architecture ppc64
/usr/bin/hol88
/usr/lib/hol88-2.02.19940316dfsg/basic-hol
/usr/lib/hol88-2.02.19940316dfsg/hol
/usr/lib/hol88-2.02.19940316dfsg/hol-lcf
/usr/share/doc/hol88/README.Debian
/usr/share/doc/hol88/changelog.Debian.gz
/usr/share/doc/hol88/changelog.Debian.ppc64.gz
/usr/share/doc/hol88/copyright
/usr/share/hol88-2.02.19940316dfsg/basic-hol
/usr/share/hol88-2.02.19940316dfsg/hol
/usr/share/hol88-2.02.19940316dfsg/hol-lcf
/usr/share/man/man1/hol88.1.gz