Index of /backports/20260514/repo/pool/hol-light/

../
hol-light_3.1.0-2+ocaml1.debian.tar.xz             14-May-2026 18:48               19764
hol-light_3.1.0-2+ocaml1.dsc                       14-May-2026 18:48                1200
hol-light_3.1.0-2+ocaml1_amd64-2026-05-14T13:01..> 14-May-2026 18:48              254950
hol-light_3.1.0-2+ocaml1_amd64.build               14-May-2026 18:48              254950
hol-light_3.1.0-2+ocaml1_amd64.buildinfo           14-May-2026 18:48                9469
hol-light_3.1.0-2+ocaml1_amd64.changes             14-May-2026 18:48                1929
hol-light_3.1.0-2+ocaml1_amd64.deb                 14-May-2026 18:48             6198896
hol-light_3.1.0.orig.tar.xz                        14-May-2026 18:47             5539628