Index of /ubuntu-ports/pool/universe/h/hol88/

../
hol88-contrib-help_2.02.19940316-35.1_all.deb      06-Jan-2021 01:41     23K
hol88-contrib-source_2.02.19940316-35.1_all.deb    06-Jan-2021 01:41    710K
hol88-doc_2.02.19940316-35.1_all.deb               06-Jan-2021 01:41      1M
hol88-help_2.02.19940316-35.1_all.deb              06-Jan-2021 01:41    205K
hol88-library-help_2.02.19940316-35.1_all.deb      06-Jan-2021 01:41    222K
hol88-library-source_2.02.19940316-35.1_all.deb    06-Jan-2021 01:41    407K
hol88-library_2.02.19940316-35.1_arm64.deb         06-Jan-2021 02:29      4M
hol88-source_2.02.19940316-35.1_all.deb            06-Jan-2021 01:41    287K
hol88_2.02.19940316-35.1_arm64.deb                 06-Jan-2021 02:29      6M