Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq-doc
Commits: ef33fe16 by Julien Puydt at 2024-12-26T21:32:44+01:00 pristine-tar data for coq-doc_8.20.0.orig.tar.gz - - - - - 2 changed files: - + coq-doc_8.20.0.orig.tar.gz.delta - + coq-doc_8.20.0.orig.tar.gz.id Changes: ===================================== coq-doc_8.20.0.orig.tar.gz.delta ===================================== Binary files /dev/null and b/coq-doc_8.20.0.orig.tar.gz.delta differ ===================================== coq-doc_8.20.0.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +3c0eb49d28e6df24f7e6b4c2764bcef88adadb74 View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/ef33fe162b6f1824cf2db334f2fcbcabc4e45900 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/ef33fe162b6f1824cf2db334f2fcbcabc4e45900 You're receiving this email because of your account on salsa.debian.org.
