Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits: 917322d2 by Ralf Treinen at 2019-12-01T19:14:06Z pristine-tar data for coq_8.10.2.orig.tar.gz - - - - - 2 changed files: - + coq_8.10.2.orig.tar.gz.delta - + coq_8.10.2.orig.tar.gz.id Changes: ===================================== coq_8.10.2.orig.tar.gz.delta ===================================== Binary files /dev/null and b/coq_8.10.2.orig.tar.gz.delta differ ===================================== coq_8.10.2.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +2d8b1311f1160a0551d7a5c19a242be72c6e43f2 View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/917322d2a723588c4f669dcb2b4badaace1a11ed -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/917322d2a723588c4f669dcb2b4badaace1a11ed You're receiving this email because of your account on salsa.debian.org.
