File list of package hol88 in bookworm of architecture mips64el
/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/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