../ hol88-library_2.02.19940316dfsg-8_sparc64.deb 19-May-2025 09:03 5M hol88_2.02.19940316dfsg-8_sparc64.buildinfo 19-May-2025 09:03 7647 hol88_2.02.19940316dfsg-8_sparc64.deb 19-May-2025 09:03 10M