Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits: 7d770b52 by Julien Puydt at 2025-01-27T15:10:08+01:00 pristine-tar data for coq_8.20.1+dfsg.orig.tar.xz - - - - - 2 changed files: - + coq_8.20.1+dfsg.orig.tar.xz.delta - + coq_8.20.1+dfsg.orig.tar.xz.id Changes: ===================================== coq_8.20.1+dfsg.orig.tar.xz.delta ===================================== Binary files /dev/null and b/coq_8.20.1+dfsg.orig.tar.xz.delta differ ===================================== coq_8.20.1+dfsg.orig.tar.xz.id ===================================== @@ -0,0 +1 @@ +6c0851ee7ccbff0c281f9643b057d35fb19d4bbd View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/7d770b52626bf65b3df69f636e8f0b0970b537a8 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/7d770b52626bf65b3df69f636e8f0b0970b537a8 You're receiving this email because of your account on salsa.debian.org.
