Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / why3
Commits: a7ae7b33 by Ralf Treinen at 2022-05-02T20:38:29+02:00 pristine-tar data for why3_1.5.0.orig.tar.gz - - - - - 2 changed files: - + why3_1.5.0.orig.tar.gz.delta - + why3_1.5.0.orig.tar.gz.id Changes: ===================================== why3_1.5.0.orig.tar.gz.delta ===================================== Binary files /dev/null and b/why3_1.5.0.orig.tar.gz.delta differ ===================================== why3_1.5.0.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +06afcbfc305ef733746a59eca1553a432feaa605 View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/a7ae7b33b7387d7dd23573cafe3135a5eb5546d5 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/a7ae7b33b7387d7dd23573cafe3135a5eb5546d5 You're receiving this email because of your account on salsa.debian.org.

