Index of /debian-ports/pool-powerpc/main/h/hol88/

../
hol88-library_2.02.19940316dfsg-5+b1_powerpc.deb   16-Apr-2024 18:03             3731296
hol88_2.02.19940316dfsg-5+b1_powerpc.buildinfo     16-Apr-2024 18:03                8900
hol88_2.02.19940316dfsg-5+b1_powerpc.deb           16-Apr-2024 18:03             5512476