Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq-doc
Commits: 99bab276 by Julien Puydt at 2022-02-06T21:35:28+01:00 pristine-tar data for coq-doc_8.15.0.orig.tar.gz - - - - - 2 changed files: - + coq-doc_8.15.0.orig.tar.gz.delta - + coq-doc_8.15.0.orig.tar.gz.id Changes: ===================================== coq-doc_8.15.0.orig.tar.gz.delta ===================================== Binary files /dev/null and b/coq-doc_8.15.0.orig.tar.gz.delta differ ===================================== coq-doc_8.15.0.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +3335ba64aee848cf85cc4e07fc745a3f2b5e4ab7 View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/99bab276b689e29bd8c345dab1cdfe57cdd69e50 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/99bab276b689e29bd8c345dab1cdfe57cdd69e50 You're receiving this email because of your account on salsa.debian.org.

