Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits: 0df71d42 by Julien Puydt at 2026-07-10T07:44:22+02:00 pristine-tar data for coq_9.2.0+dfsg.orig.tar.xz - - - - - 2 changed files: - + coq_9.2.0+dfsg.orig.tar.xz.delta - + coq_9.2.0+dfsg.orig.tar.xz.id Changes: ===================================== coq_9.2.0+dfsg.orig.tar.xz.delta ===================================== Binary files /dev/null and b/coq_9.2.0+dfsg.orig.tar.xz.delta differ ===================================== coq_9.2.0+dfsg.orig.tar.xz.id ===================================== @@ -0,0 +1 @@ +491d3ba695ed975af4e73c15ca6b524d37e528df View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/0df71d42e19d1c608e5637e7d5643e977794a636 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/0df71d42e19d1c608e5637e7d5643e977794a636 You're receiving this email because of your account on salsa.debian.org. Manage all notifications: https://salsa.debian.org/-/profile/notifications | Help: https://salsa.debian.org/help
