Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / hol-light
Commits: c8e90f61 by Stephane Glondu at 2026-07-02T15:54:21+02:00 pristine-tar data for hol-light_3.1.0+git20260619.orig.tar.xz - - - - - 2 changed files: - + hol-light_3.1.0+git20260619.orig.tar.xz.delta - + hol-light_3.1.0+git20260619.orig.tar.xz.id Changes: ===================================== hol-light_3.1.0+git20260619.orig.tar.xz.delta ===================================== Binary files /dev/null and b/hol-light_3.1.0+git20260619.orig.tar.xz.delta differ ===================================== hol-light_3.1.0+git20260619.orig.tar.xz.id ===================================== @@ -0,0 +1 @@ +987be2ca308e87ae7d9c3794a8a0769e0209ceff View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/c8e90f6116ae60a75cff9685afd959504d8b3ec3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/c8e90f6116ae60a75cff9685afd959504d8b3ec3 You're receiving this email because of your account on salsa.debian.org. Manage all notifications: https://salsa.debian.org/-/profile/notifications | Help: https://salsa.debian.org/help
