vimerbf pushed to branch pristine-tar at Debian OCaml Maintainers / hol-light
Commits: 5c87fd31 by Bo YU at 2024-11-25T22:05:25+08:00 pristine-tar data for hol-light_3.0.0.orig.tar.xz - - - - - 2 changed files: - + hol-light_3.0.0.orig.tar.xz.delta - + hol-light_3.0.0.orig.tar.xz.id Changes: ===================================== hol-light_3.0.0.orig.tar.xz.delta ===================================== Binary files /dev/null and b/hol-light_3.0.0.orig.tar.xz.delta differ ===================================== hol-light_3.0.0.orig.tar.xz.id ===================================== @@ -0,0 +1 @@ +28b5bc2af73cb35e50e410836ae6bcbdd75796f7 View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/5c87fd31d75f9a0478734a5721bc860fba5a3d16 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/5c87fd31d75f9a0478734a5721bc860fba5a3d16 You're receiving this email because of your account on salsa.debian.org.
