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

../
hol88-contrib-help_2.02.19940316-35.1_all.deb      05-Jan-2021 17:41               23696
hol88-contrib-help_2.02.19940316-35_all.deb        02-Nov-2017 17:44               23592
hol88-contrib-source_2.02.19940316-35.1_all.deb    05-Jan-2021 17:41              727004
hol88-contrib-source_2.02.19940316-35_all.deb      02-Nov-2017 17:44              726856
hol88-doc_2.02.19940316-35.1_all.deb               05-Jan-2021 17:41             1064880
hol88-doc_2.02.19940316-35_all.deb                 02-Nov-2017 17:44             1054680
hol88-help_2.02.19940316-35.1_all.deb              05-Jan-2021 17:41              209632
hol88-help_2.02.19940316-35_all.deb                02-Nov-2017 17:44              209624
hol88-library-help_2.02.19940316-35.1_all.deb      05-Jan-2021 17:41              227356
hol88-library-help_2.02.19940316-35_all.deb        02-Nov-2017 17:44              227300
hol88-library-source_2.02.19940316-35.1_all.deb    05-Jan-2021 17:41              417256
hol88-library-source_2.02.19940316-35_all.deb      02-Nov-2017 17:44              417180
hol88-library_2.02.19940316-35.1_amd64.deb         05-Jan-2021 17:41             3932708
hol88-library_2.02.19940316-35_amd64.deb           02-Nov-2017 17:44             3106216
hol88-library_2.02.19940316-35_i386.deb            02-Nov-2017 17:46             2900788
hol88-source_2.02.19940316-35.1_all.deb            05-Jan-2021 17:41              294324
hol88-source_2.02.19940316-35_all.deb              02-Nov-2017 17:44              294208
hol88_2.02.19940316-35.1_amd64.deb                 05-Jan-2021 17:41             7011864
hol88_2.02.19940316-35_amd64.deb                   02-Nov-2017 17:44             6430804
hol88_2.02.19940316-35_i386.deb                    02-Nov-2017 17:46             5236120