../ hol88-contrib-help_2.02.19940316-13.1_all.deb 26-Apr-2023 11:13 26K hol88-contrib-help_2.02.19940316-33_all.deb 26-Apr-2023 14:57 24K hol88-contrib-source_2.02.19940316-13.1_all.deb 26-Apr-2023 11:13 986K hol88-contrib-source_2.02.19940316-33_all.deb 26-Apr-2023 14:57 713K hol88-doc_2.02.19940316-13.1_all.deb 26-Apr-2023 11:13 1M hol88-doc_2.02.19940316-33_all.deb 26-Apr-2023 14:57 1M hol88-help_2.02.19940316-13.1_all.deb 26-Apr-2023 11:13 315K hol88-help_2.02.19940316-33_all.deb 26-Apr-2023 14:57 212K hol88-library-help_2.02.19940316-13.1_all.deb 26-Apr-2023 11:13 301K hol88-library-help_2.02.19940316-33_all.deb 26-Apr-2023 14:57 233K hol88-library-source_2.02.19940316-13.1_all.deb 26-Apr-2023 11:13 554K hol88-library-source_2.02.19940316-33_all.deb 26-Apr-2023 14:57 409K hol88-library_2.02.19940316-13.1_i386.deb 26-Apr-2023 11:13 4M hol88-library_2.02.19940316-33_i386.deb 26-Apr-2023 14:57 3M hol88-source_2.02.19940316-13.1_all.deb 26-Apr-2023 11:13 368K hol88-source_2.02.19940316-33_all.deb 26-Apr-2023 14:57 289K hol88_2.02.19940316-13.1.diff.gz 26-Apr-2023 11:13 116K hol88_2.02.19940316-13.1.dsc 26-Apr-2023 11:13 1888 hol88_2.02.19940316-13.1_i386.deb 26-Apr-2023 11:13 11M hol88_2.02.19940316-33.debian.tar.xz 26-Apr-2023 14:57 128K hol88_2.02.19940316-33.dsc 26-Apr-2023 14:57 2275 hol88_2.02.19940316-33_i386.deb 26-Apr-2023 14:57 5M hol88_2.02.19940316.orig.tar.gz 25-Apr-2023 15:48 10M