Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq-doc


Commits:
99bab276 by Julien Puydt at 2022-02-06T21:35:28+01:00
pristine-tar data for coq-doc_8.15.0.orig.tar.gz

- - - - -


2 changed files:

- + coq-doc_8.15.0.orig.tar.gz.delta
- + coq-doc_8.15.0.orig.tar.gz.id


Changes:

=====================================
coq-doc_8.15.0.orig.tar.gz.delta
=====================================
Binary files /dev/null and b/coq-doc_8.15.0.orig.tar.gz.delta differ


=====================================
coq-doc_8.15.0.orig.tar.gz.id
=====================================
@@ -0,0 +1 @@
+3335ba64aee848cf85cc4e07fc745a3f2b5e4ab7



View it on GitLab: 
https://salsa.debian.org/ocaml-team/coq-doc/-/commit/99bab276b689e29bd8c345dab1cdfe57cdd69e50

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/coq-doc/-/commit/99bab276b689e29bd8c345dab1cdfe57cdd69e50
You're receiving this email because of your account on salsa.debian.org.


Reply via email to