Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits: feb74b46 by Julien Puydt at 2022-05-31T18:00:49+02:00 pristine-tar data for coq_8.15.2+dfsg.orig.tar.xz - - - - - 2 changed files: - + coq_8.15.2+dfsg.orig.tar.xz.delta - + coq_8.15.2+dfsg.orig.tar.xz.id Changes: ===================================== coq_8.15.2+dfsg.orig.tar.xz.delta ===================================== Binary files /dev/null and b/coq_8.15.2+dfsg.orig.tar.xz.delta differ ===================================== coq_8.15.2+dfsg.orig.tar.xz.id ===================================== @@ -0,0 +1 @@ +19d73cbd12e77216b77b61a46afe1067df63e187 View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/feb74b468ec4aa0c684f117c6f10cc868e75c51d -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/feb74b468ec4aa0c684f117c6f10cc868e75c51d You're receiving this email because of your account on salsa.debian.org.
