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

../
hol88-contrib-help_2.02.19940316-14_all.deb                                                                              25-Sep-2023 14:55     26K
hol88-contrib-source_2.02.19940316-14_all.deb                                                                            25-Sep-2023 14:55    954K
hol88-doc_2.02.19940316-14_all.deb                                                                                       25-Sep-2023 14:55      1M
hol88-help_2.02.19940316-14_all.deb                                                                                      25-Sep-2023 14:55    282K
hol88-library-help_2.02.19940316-14_all.deb                                                                              25-Sep-2023 14:55    286K
hol88-library-source_2.02.19940316-14_all.deb                                                                            25-Sep-2023 14:55    550K
hol88-library_2.02.19940316-14_amd64.deb                                                                                 25-Sep-2023 14:55      5M
hol88-library_2.02.19940316-14_i386.deb                                                                                  25-Sep-2023 14:55      5M
hol88-source_2.02.19940316-14_all.deb                                                                                    25-Sep-2023 14:55    365K
hol88_2.02.19940316-14_amd64.deb                                                                                         25-Sep-2023 14:55     15M
hol88_2.02.19940316-14_i386.deb                                                                                          25-Sep-2023 14:55     12M