Index of /pub/gnu_linux/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_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  
      hol-light_3.0.0-2build10.debian.tar.xz    2025-08-31 08:37   11K  
      hol-light_3.0.0-2build10.dsc              2025-08-31 08:37  2.0K  
      hol-light_3.0.0-2build10_amd64.deb        2025-08-31 19:39  5.6M  
      hol-light_3.0.0-2build11.debian.tar.xz    2025-10-22 20:05   11K  
      hol-light_3.0.0-2build11.dsc              2025-10-22 20:05  2.0K  
      hol-light_3.0.0-2build11_amd64.deb        2025-10-23 14:04  5.6M  
      hol-light_3.0.0-2build11_amd64v3.deb      2025-10-23 14:04  5.6M  
      hol-light_3.0.0-2build7.debian.tar.xz     2025-03-13 14:21   11K  
      hol-light_3.0.0-2build7.dsc               2025-03-13 14:21  2.0K  
      hol-light_3.0.0-2build7_amd64.deb         2025-03-14 09:01  5.6M  
      hol-light_3.0.0.orig.tar.xz               2024-12-06 12:51  5.1M