../ hol88-library_2.02.19940316dfsg-8_powerpc.deb 14-May-2025 18:03 5158452 hol88_2.02.19940316dfsg-8_powerpc.buildinfo 14-May-2025 18:03 7663 hol88_2.02.19940316dfsg-8_powerpc.deb 14-May-2025 18:03 10077844