Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits: b1c1759e by Julien Puydt at 2024-03-11T14:09:29+01:00 pristine-tar data for coq_8.19.1+dfsg.orig.tar.bz2 - - - - - 2 changed files: - + coq_8.19.1+dfsg.orig.tar.bz2.delta - + coq_8.19.1+dfsg.orig.tar.bz2.id Changes: ===================================== coq_8.19.1+dfsg.orig.tar.bz2.delta ===================================== Binary files /dev/null and b/coq_8.19.1+dfsg.orig.tar.bz2.delta differ ===================================== coq_8.19.1+dfsg.orig.tar.bz2.id ===================================== @@ -0,0 +1 @@ +cd8c2d8ebfb11f740d8abd0cde00961aa389c9a6 View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/b1c1759e8751330df4e9911a6edd14f76a8ffcf0 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/b1c1759e8751330df4e9911a6edd14f76a8ffcf0 You're receiving this email because of your account on salsa.debian.org.
