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

../
hol88-contrib-help_2.02.19940316-35.1_all.deb      13-Apr-2022 17:07               23696
hol88-contrib-help_2.02.19940316dfsg-5build3_al..> 05-Apr-2024 04:40               24188
hol88-contrib-source_2.02.19940316-35.1_all.deb    13-Apr-2022 17:07              727004
hol88-contrib-source_2.02.19940316dfsg-5build3_..> 05-Apr-2024 04:40              737710
hol88-doc_2.02.19940316-35.1_all.deb               13-Apr-2022 17:07             1064880
hol88-doc_2.02.19940316dfsg-5build3_all.deb        05-Apr-2024 04:40             1061134
hol88-help_2.02.19940316-35.1_all.deb              13-Apr-2022 17:07              209632
hol88-help_2.02.19940316dfsg-5build3_all.deb       05-Apr-2024 04:40              215388
hol88-library-help_2.02.19940316-35.1_all.deb      13-Apr-2022 17:07              227356
hol88-library-help_2.02.19940316dfsg-5build3_al..> 05-Apr-2024 04:40              237282
hol88-library-source_2.02.19940316-35.1_all.deb    13-Apr-2022 17:07              417256
hol88-library-source_2.02.19940316dfsg-5build3_..> 05-Apr-2024 04:40              422518
hol88-library_2.02.19940316-35.1_amd64.deb         13-Apr-2022 17:07             3932708
hol88-library_2.02.19940316dfsg-5build3_amd64.deb  05-Apr-2024 04:40             4533184
hol88-source_2.02.19940316-35.1_all.deb            13-Apr-2022 17:07              294324
hol88-source_2.02.19940316dfsg-5build3_all.deb     05-Apr-2024 04:40              297648
hol88_2.02.19940316-35.1.debian.tar.xz             13-Apr-2022 17:07              131416
hol88_2.02.19940316-35.1.dsc                       13-Apr-2022 17:07                2297
hol88_2.02.19940316-35.1_amd64.deb                 13-Apr-2022 17:07             7011864
hol88_2.02.19940316.orig.tar.gz                    28-Nov-2006 13:03            10241007
hol88_2.02.19940316dfsg-5build3.debian.tar.xz      05-Apr-2024 04:40              131648
hol88_2.02.19940316dfsg-5build3.dsc                05-Apr-2024 04:40                2360
hol88_2.02.19940316dfsg-5build3_amd64.deb          05-Apr-2024 04:40             8031848
hol88_2.02.19940316dfsg.orig.tar.gz                16-Nov-2023 15:18            10359437