Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq-doc
Commits: 8cc7bdd7 by Julien Puydt at 2026-08-03T11:45:43+02:00 pristine-tar data for coq-doc_9.2.0.orig.tar.gz - - - - - 2 changed files: - + coq-doc_9.2.0.orig.tar.gz.delta - + coq-doc_9.2.0.orig.tar.gz.id Changes: ===================================== coq-doc_9.2.0.orig.tar.gz.delta ===================================== Binary files /dev/null and b/coq-doc_9.2.0.orig.tar.gz.delta differ ===================================== coq-doc_9.2.0.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +24413bfcd2447a63b26aae2f2cec69346a155f46 View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/8cc7bdd70abd50621a6a11d0e70141ce495de19f -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/8cc7bdd70abd50621a6a11d0e70141ce495de19f 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
