Gianfranco Costamagna pushed to branch pristine-tar at Debian OCaml Maintainers / hol-light
Commits: 3113ee13 by Gianfranco Costamagna at 2019-07-29T11:27:24Z pristine-tar data for hol-light_20190729.orig.tar.gz - - - - - 2 changed files: - + hol-light_20190729.orig.tar.gz.delta - + hol-light_20190729.orig.tar.gz.id Changes: ===================================== hol-light_20190729.orig.tar.gz.delta ===================================== Binary files /dev/null and b/hol-light_20190729.orig.tar.gz.delta differ ===================================== hol-light_20190729.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +a566c45faba38f43c9e8b49864ae56a64f2efe5a View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/commit/3113ee13acfe03519f06f565a39629fa9a685bc5 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/commit/3113ee13acfe03519f06f565a39629fa9a685bc5 You're receiving this email because of your account on salsa.debian.org.
