Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / hol-light
Commits: 840bb0e8 by Stephane Glondu at 2023-10-23T14:51:47+02:00 pristine-tar data for hol-light_20231021.orig.tar.xz - - - - - 2 changed files: - + hol-light_20231021.orig.tar.xz.delta - + hol-light_20231021.orig.tar.xz.id Changes: ===================================== hol-light_20231021.orig.tar.xz.delta ===================================== Binary files /dev/null and b/hol-light_20231021.orig.tar.xz.delta differ ===================================== hol-light_20231021.orig.tar.xz.id ===================================== @@ -0,0 +1 @@ +22eb4bdeacf443e6050fd8530ccf0e95f636f134 View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/840bb0e8541d2880d9411110489c9a6c9f50f8cc -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/840bb0e8541d2880d9411110489c9a6c9f50f8cc You're receiving this email because of your account on salsa.debian.org.
