Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / hol-light
Commits: be6955dd by Stephane Glondu at 2025-12-20T03:39:34+01:00 pristine-tar data for hol-light_3.1.0.orig.tar.xz - - - - - 2 changed files: - + hol-light_3.1.0.orig.tar.xz.delta - + hol-light_3.1.0.orig.tar.xz.id Changes: ===================================== hol-light_3.1.0.orig.tar.xz.delta ===================================== Binary files /dev/null and b/hol-light_3.1.0.orig.tar.xz.delta differ ===================================== hol-light_3.1.0.orig.tar.xz.id ===================================== @@ -0,0 +1 @@ +1cfe633a05b355a0369a2fc1b69657e67e17c446 View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/be6955dda7fbb064e35b2a82c7fc6451bf80a793 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/be6955dda7fbb064e35b2a82c7fc6451bf80a793 You're receiving this email because of your account on salsa.debian.org.
