Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits: c8d197e1 by Julien Puydt at 2024-08-26T15:53:05+02:00 pristine-tar data for coq_8.19.2+dfsg.orig.tar.xz - - - - - 0d12256a by Julien Puydt at 2024-09-16T07:09:21+02:00 pristine-tar data for coq_8.20.0+dfsg.orig.tar.xz - - - - - 4 changed files: - + coq_8.19.2+dfsg.orig.tar.xz.delta - + coq_8.19.2+dfsg.orig.tar.xz.id - + coq_8.20.0+dfsg.orig.tar.xz.delta - + coq_8.20.0+dfsg.orig.tar.xz.id Changes: ===================================== coq_8.19.2+dfsg.orig.tar.xz.delta ===================================== Binary files /dev/null and b/coq_8.19.2+dfsg.orig.tar.xz.delta differ ===================================== coq_8.19.2+dfsg.orig.tar.xz.id ===================================== @@ -0,0 +1 @@ +7a2506f6d5541efb77dea009572a430c0e5b4620 ===================================== coq_8.20.0+dfsg.orig.tar.xz.delta ===================================== Binary files /dev/null and b/coq_8.20.0+dfsg.orig.tar.xz.delta differ ===================================== coq_8.20.0+dfsg.orig.tar.xz.id ===================================== @@ -0,0 +1 @@ +e9ee45d55baffe35776153b95ae67e17b33ac427 View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/b1c1759e8751330df4e9911a6edd14f76a8ffcf0...0d12256a7e59b01cb5f52df40d73d14d9df1f384 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/b1c1759e8751330df4e9911a6edd14f76a8ffcf0...0d12256a7e59b01cb5f52df40d73d14d9df1f384 You're receiving this email because of your account on salsa.debian.org.
