Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / why3
Commits: 53eab73e by Ralf Treinen at 2024-08-12T10:56:50+02:00 pristine-tar data for why3_1.7.2.orig.tar.bz2 - - - - - 2 changed files: - + why3_1.7.2.orig.tar.bz2.delta - + why3_1.7.2.orig.tar.bz2.id Changes: ===================================== why3_1.7.2.orig.tar.bz2.delta ===================================== Binary files /dev/null and b/why3_1.7.2.orig.tar.bz2.delta differ ===================================== why3_1.7.2.orig.tar.bz2.id ===================================== @@ -0,0 +1 @@ +4b256ef503ebe313f00164f9d92512de8bfdb5d3 View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/53eab73ee7586d5b6d71cb1f4d749325fb2c13e7 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/53eab73ee7586d5b6d71cb1f4d749325fb2c13e7 You're receiving this email because of your account on salsa.debian.org.
