Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / hol-light
Commits: 3ef5fcbc by Stephane Glondu at 2023-01-31T12:02:25+01:00 pristine-tar data for hol-light_20230128.orig.tar.gz - - - - - 2 changed files: - + hol-light_20230128.orig.tar.gz.delta - + hol-light_20230128.orig.tar.gz.id Changes: ===================================== hol-light_20230128.orig.tar.gz.delta ===================================== Binary files /dev/null and b/hol-light_20230128.orig.tar.gz.delta differ ===================================== hol-light_20230128.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +fd5c77eac0cc51131956dfca11c37103a31dc572 View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/3ef5fcbc260e98582c8170e5dfa2daf6bf2f592b -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/3ef5fcbc260e98582c8170e5dfa2daf6bf2f592b You're receiving this email because of your account on salsa.debian.org.
