Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits: 6c68b53d by Julien Puydt at 2025-09-16T23:37:02+02:00 pristine-tar data for coq_9.1.0+dfsg.orig.tar.xz - - - - - 2 changed files: - + coq_9.1.0+dfsg.orig.tar.xz.delta - + coq_9.1.0+dfsg.orig.tar.xz.id Changes: ===================================== coq_9.1.0+dfsg.orig.tar.xz.delta ===================================== Binary files /dev/null and b/coq_9.1.0+dfsg.orig.tar.xz.delta differ ===================================== coq_9.1.0+dfsg.orig.tar.xz.id ===================================== @@ -0,0 +1 @@ +a74444da85655f17c4f6d8d9ea17b73d4f350f7d View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/6c68b53d7f9a95b9fd08a1d91fef7c3e356bd45d -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/6c68b53d7f9a95b9fd08a1d91fef7c3e356bd45d You're receiving this email because of your account on salsa.debian.org.
