Index of /pub/gnu_linux/ubuntu/ubuntu/pool/universe/h/hol-light

      Name                                          Last modified      Size  Description
      Parent Directory                                                   -   
      hol-light_20131026-1build1.debian.tar.gz      2013-12-23 11:48  8.3K  
      hol-light_20131026-1build1.dsc                2013-12-23 11:48  1.4K  
      hol-light_20131026-1build1_amd64.deb          2013-12-23 11:48  2.8M  
      hol-light_20131026-1build1_i386.deb           2013-12-23 11:49  2.7M  
      hol-light_20131026-1build2.debian.tar.xz      2015-11-03 10:24  8.0K  
      hol-light_20131026-1build2.dsc                2015-11-03 10:24  1.7K  
      hol-light_20131026-1build2_amd64.deb          2015-11-03 10:39  2.8M  
      hol-light_20131026-1build2_i386.deb           2015-11-03 10:39  2.8M  
      hol-light_20131026.orig.tar.bz2               2013-11-22 00:13  3.1M  
      hol-light_20170706-0ubuntu4.debian.tar.xz     2017-10-27 16:41  9.5K  
      hol-light_20170706-0ubuntu4.dsc               2017-10-27 16:41  2.1K  
      hol-light_20170706-0ubuntu4_amd64.deb         2017-10-27 16:42  4.0M  
      hol-light_20170706-0ubuntu4_i386.deb          2017-10-27 16:44  4.0M  
      hol-light_20170706.orig.tar.gz                2017-07-07 10:33  5.9M  
      hol-light_20190729-4build1.debian.tar.xz      2020-02-20 20:54   11K  
      hol-light_20190729-4build1.dsc                2020-02-20 20:54  2.1K  
      hol-light_20190729-4build1_amd64.deb          2020-02-21 02:54  4.6M  
      hol-light_20190729.orig.tar.gz                2019-07-29 07:03  6.6M  
      hol-light_20230128-1.debian.tar.xz            2023-01-31 12:34   11K  
      hol-light_20230128-1.dsc                      2023-01-31 12:34  1.8K  
      hol-light_20230128-1_amd64.deb                2023-01-31 12:34  5.4M  
      hol-light_20230128-2.debian.tar.xz            2023-09-07 11:24   32K  
      hol-light_20230128-2.dsc                      2023-09-07 11:24  1.8K  
      hol-light_20230128-2_amd64.deb                2023-09-07 11:24  5.4M  
      hol-light_20230128.orig.tar.gz                2023-01-31 12:34  7.1M  
      hol-light_20231021-1build4.debian.tar.xz      2024-02-19 13:47   11K  
      hol-light_20231021-1build4.dsc                2024-02-19 13:47  2.0K  
      hol-light_20231021-1build4_amd64.deb          2024-02-19 14:32  5.5M  
      hol-light_20231021.orig.tar.xz                2023-10-26 11:33  4.8M