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  2025-05-15 02:46  8.3K  
      hol-light_20131026-1build1.dsc            2025-05-15 02:46  1.4K  
      hol-light_20131026-1build1_amd64.deb      2023-08-25 05:09  2.8M  
      hol-light_20131026-1build1_i386.deb       2023-08-25 05:09  2.7M  
      hol-light_20131026-1build2.debian.tar.xz  2025-05-15 02:46  8.0K  
      hol-light_20131026-1build2.dsc            2025-05-15 02:46  1.7K  
      hol-light_20131026-1build2_amd64.deb      2023-08-25 05:09  2.8M  
      hol-light_20131026-1build2_i386.deb       2023-08-25 05:09  2.8M  
      hol-light_20131026.orig.tar.bz2           2025-05-15 02:46  3.1M  
      hol-light_20170706-0ubuntu4.debian.tar.xz 2025-05-15 02:46  9.5K  
      hol-light_20170706-0ubuntu4.dsc           2025-05-15 02:46  2.1K  
      hol-light_20170706-0ubuntu4_amd64.deb     2023-08-25 05:09  4.0M  
      hol-light_20170706-0ubuntu4_i386.deb      2023-08-25 05:09  4.0M  
      hol-light_20170706.orig.tar.gz            2025-05-15 02:46  5.9M  
      hol-light_20190729-4build1.debian.tar.xz  2025-05-15 02:46   11K  
      hol-light_20190729-4build1.dsc            2025-05-15 02:46  2.1K  
      hol-light_20190729-4build1_amd64.deb      2023-08-25 05:09  4.6M  
      hol-light_20190729.orig.tar.gz            2025-05-15 02:46  6.6M  
      hol-light_20231021-1build4.debian.tar.xz  2025-05-15 02:46   11K  
      hol-light_20231021-1build4.dsc            2025-05-15 02:46  2.0K  
      hol-light_20231021-1build4_amd64.deb      2024-02-20 08:28  5.5M  
      hol-light_20231021.orig.tar.xz            2025-05-15 02:46  4.8M  
      hol-light_3.0.0-2build10.debian.tar.xz    2025-08-31 17:55   11K  
      hol-light_3.0.0-2build10.dsc              2025-08-31 17:55  2.0K  
      hol-light_3.0.0-2build10_amd64.deb        2025-08-31 21:59  5.6M  
      hol-light_3.0.0-2build11.debian.tar.xz    2025-10-23 02:20   11K  
      hol-light_3.0.0-2build11.dsc              2025-10-23 02:20  2.0K  
      hol-light_3.0.0-2build11_amd64.deb        2025-10-23 17:58  5.6M  
      hol-light_3.0.0-2build11_amd64v3.deb      2025-10-23 17:58  5.6M  
      hol-light_3.0.0-2build7.debian.tar.xz     2025-05-15 02:46   11K  
      hol-light_3.0.0-2build7.dsc               2025-05-15 02:46  2.0K  
      hol-light_3.0.0-2build7_amd64.deb         2025-03-14 18:48  5.6M  
      hol-light_3.0.0.orig.tar.xz               2025-05-15 02:46  5.1M