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

../
hol88-contrib-help_2.02.19940316-35.1_all.deb      05-Jan-2021 17:41     23K
hol88-contrib-source_2.02.19940316-35.1_all.deb    05-Jan-2021 17:41    710K
hol88-doc_2.02.19940316-35.1_all.deb               05-Jan-2021 17:41      1M
hol88-help_2.02.19940316-35.1_all.deb              05-Jan-2021 17:41    205K
hol88-library-help_2.02.19940316-35.1_all.deb      05-Jan-2021 17:41    222K
hol88-library-source_2.02.19940316-35.1_all.deb    05-Jan-2021 17:41    407K
hol88-library_2.02.19940316-35.1_amd64.deb         05-Jan-2021 17:41      4M
hol88-source_2.02.19940316-35.1_all.deb            05-Jan-2021 17:41    287K
hol88_2.02.19940316-35.1_amd64.deb                 05-Jan-2021 17:41      7M