File list of package hol88-doc in trixie of architecture all

/usr/share/doc/hol88-doc/Manual/Covers/CRC.ps.gz
/usr/share/doc/hol88-doc/Manual/Covers/DESCRIPTION.ps.gz
/usr/share/doc/hol88-doc/Manual/Covers/LANTERN.ps.gz
/usr/share/doc/hol88-doc/Manual/Covers/LIBRARIES.ps.gz
/usr/share/doc/hol88-doc/Manual/Covers/REFERENCE.ps.gz
/usr/share/doc/hol88-doc/Manual/Covers/TUTORIAL.ps.gz
/usr/share/doc/hol88-doc/Manual/Covers/arms.ps.gz
/usr/share/doc/hol88-doc/Manual/Covers/dsto.ps.gz
/usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi
/usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz
/usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz
/usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz
/usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz
/usr/share/doc/hol88-doc/Manual/Guide/guide.ps.gz
/usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi
/usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz
/usr/share/doc/hol88-doc/Manual/Tutorial/tutorial.dvi.gz
/usr/share/doc/hol88-doc/changelog.Debian.gz
/usr/share/doc/hol88-doc/copyright