Benjamin Barenblat pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits: 7cca89ed by Benjamin Barenblat at 2019-02-03T00:29:26Z pristine-tar data for coq_8.9.0.orig.tar.gz - - - - - 2 changed files: - + coq_8.9.0.orig.tar.gz.delta - + coq_8.9.0.orig.tar.gz.id Changes: ===================================== coq_8.9.0.orig.tar.gz.delta ===================================== Binary files /dev/null and b/coq_8.9.0.orig.tar.gz.delta differ ===================================== coq_8.9.0.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +bf5e06a28488e0e06a2f2011ff0d110e2e02f8fc View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/7cca89ed40709befcd578d98b278f0981127d794 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/7cca89ed40709befcd578d98b278f0981127d794 You're receiving this email because of your account on salsa.debian.org.
