File list of package hol88 in sid of architecture amd64

/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.amd64.gz
/usr/share/doc/hol88/changelog.Debian.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