../ hol88-contrib-help_2.02.19940316-35.1_all.deb 05-Jan-2021 17:41 23K hol88-contrib-source_2.02.19940316-35.1_all.deb 05-Jan-2021 17:41 710K hol88-doc_2.02.19940316-35.1_all.deb 05-Jan-2021 17:41 1M hol88-help_2.02.19940316-35.1_all.deb 05-Jan-2021 17:41 205K hol88-library-help_2.02.19940316-35.1_all.deb 05-Jan-2021 17:41 222K hol88-library-source_2.02.19940316-35.1_all.deb 05-Jan-2021 17:41 407K hol88-library_2.02.19940316-35.1_amd64.deb 05-Jan-2021 17:41 4M hol88-source_2.02.19940316-35.1_all.deb 05-Jan-2021 17:41 287K hol88_2.02.19940316-35.1_amd64.deb 05-Jan-2021 17:41 7M