Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits: 1c4c8a07 by Ralf Treinen at 2019-11-16T16:09:37Z pristine-tar data for coq_8.10.1.orig.tar.gz - - - - - 2 changed files: - + coq_8.10.1.orig.tar.gz.delta - + coq_8.10.1.orig.tar.gz.id Changes: ===================================== coq_8.10.1.orig.tar.gz.delta ===================================== Binary files /dev/null and b/coq_8.10.1.orig.tar.gz.delta differ ===================================== coq_8.10.1.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +40c0e6d9c3b17f725d1751802130a8b9b38ede59 View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/1c4c8a07a3b3e2d6817c52ae9bf88dc7522af345 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/1c4c8a07a3b3e2d6817c52ae9bf88dc7522af345 You're receiving this email because of your account on salsa.debian.org.
