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

../
hol88-contrib-help_2.02.19940316-35.1_all.deb      27-Aug-2023 03:58               23696
hol88-contrib-help_2.02.19940316-35build2_all.deb  25-Aug-2023 22:36               23660
hol88-contrib-help_2.02.19940316dfsg-5build3_al..> 04-Apr-2024 22:12               24188
hol88-contrib-source_2.02.19940316-35.1_all.deb    27-Aug-2023 03:58              727004
hol88-contrib-source_2.02.19940316-35build2_all..> 25-Aug-2023 22:36              727016
hol88-contrib-source_2.02.19940316dfsg-5build3_..> 04-Apr-2024 22:12              737710
hol88-doc_2.02.19940316-35.1_all.deb               27-Aug-2023 03:58             1064880
hol88-doc_2.02.19940316-35build2_all.deb           25-Aug-2023 22:36             1062820
hol88-doc_2.02.19940316dfsg-5build3_all.deb        04-Apr-2024 22:12             1061134
hol88-help_2.02.19940316-35.1_all.deb              27-Aug-2023 03:58              209632
hol88-help_2.02.19940316-35build2_all.deb          25-Aug-2023 22:36              209668
hol88-help_2.02.19940316dfsg-5build3_all.deb       04-Apr-2024 22:12              215388
hol88-library-help_2.02.19940316-35.1_all.deb      27-Aug-2023 03:58              227356
hol88-library-help_2.02.19940316-35build2_all.deb  25-Aug-2023 22:36              227364
hol88-library-help_2.02.19940316dfsg-5build3_al..> 04-Apr-2024 22:12              237282
hol88-library-source_2.02.19940316-35.1_all.deb    27-Aug-2023 03:58              417256
hol88-library-source_2.02.19940316-35build2_all..> 25-Aug-2023 22:36              417244
hol88-library-source_2.02.19940316dfsg-5build3_..> 04-Apr-2024 22:12              422518
hol88-library_2.02.19940316-35.1_amd64.deb         27-Aug-2023 03:58             3932708
hol88-library_2.02.19940316-35build2_amd64.deb     25-Aug-2023 22:36             3931020
hol88-library_2.02.19940316dfsg-5build3_amd64.deb  04-Apr-2024 22:12             4533184
hol88-source_2.02.19940316-35.1_all.deb            27-Aug-2023 03:58              294324
hol88-source_2.02.19940316-35build2_all.deb        25-Aug-2023 22:36              294272
hol88-source_2.02.19940316dfsg-5build3_all.deb     04-Apr-2024 22:12              297648
hol88_2.02.19940316-35.1.debian.tar.xz             27-Aug-2023 03:58              131416
hol88_2.02.19940316-35.1.dsc                       27-Aug-2023 03:58                2297
hol88_2.02.19940316-35.1_amd64.deb                 27-Aug-2023 03:58             7011864
hol88_2.02.19940316-35build2.debian.tar.xz         25-Aug-2023 22:36              131372
hol88_2.02.19940316-35build2.dsc                   25-Aug-2023 22:36                2338
hol88_2.02.19940316-35build2_amd64.deb             25-Aug-2023 22:36             7057088
hol88_2.02.19940316.orig.tar.gz                    25-Aug-2023 22:36            10241007
hol88_2.02.19940316dfsg-5build3.debian.tar.xz      04-Apr-2024 22:12              131648
hol88_2.02.19940316dfsg-5build3.dsc                04-Apr-2024 22:12                2360
hol88_2.02.19940316dfsg-5build3_amd64.deb          04-Apr-2024 22:12             8031848
hol88_2.02.19940316dfsg.orig.tar.gz                16-Dec-2023 00:32            10359437