Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / coq-doc
Commits: 9942a05f by Stephane Glondu at 2023-08-01T17:03:55+02:00 pristine-tar data for coq-doc_8.17.0.orig.tar.gz - - - - - b4276bcb by Stephane Glondu at 2023-08-12T11:51:26+02:00 pristine-tar data for coq-doc_8.17.1.orig.tar.gz - - - - - 4 changed files: - + coq-doc_8.17.0.orig.tar.gz.delta - + coq-doc_8.17.0.orig.tar.gz.id - + coq-doc_8.17.1.orig.tar.gz.delta - + coq-doc_8.17.1.orig.tar.gz.id Changes: ===================================== coq-doc_8.17.0.orig.tar.gz.delta ===================================== Binary files /dev/null and b/coq-doc_8.17.0.orig.tar.gz.delta differ ===================================== coq-doc_8.17.0.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +b716a7d215b86fe47d1828ee24d92ebc9f5467a3 ===================================== coq-doc_8.17.1.orig.tar.gz.delta ===================================== Binary files /dev/null and b/coq-doc_8.17.1.orig.tar.gz.delta differ ===================================== coq-doc_8.17.1.orig.tar.gz.id ===================================== @@ -0,0 +1 @@ +d993f91211ae34ed7bb1b07b93b2bcfd21b30de7 View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/c67ebfb131793d6a2936b790510eae358bc78c7e...b4276bcb44387c6e3360997efb3262d0afaf9d34 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/c67ebfb131793d6a2936b790510eae358bc78c7e...b4276bcb44387c6e3360997efb3262d0afaf9d34 You're receiving this email because of your account on salsa.debian.org.
