Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits: 21925eac by Stephane Glondu at 2019-08-11T16:43:50Z pristine-tar data for coq_8.9.0.orig.tar.gz - - - - - 1 changed file: - coq_8.9.0.orig.tar.gz.delta Changes: ===================================== coq_8.9.0.orig.tar.gz.delta ===================================== Binary files a/coq_8.9.0.orig.tar.gz.delta and b/coq_8.9.0.orig.tar.gz.delta differ View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/21925eaccc8a39adf06ad701ec1c58a6b4acf34f -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/21925eaccc8a39adf06ad701ec1c58a6b4acf34f You're receiving this email because of your account on salsa.debian.org.
