[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.15.1.orig.tar.gz

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

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

Commits:

• 7ed146e3
  by Julien Puydt at 2022-03-30T08:46:47+02:00

  pristine-tar data for coq-doc_8.15.1.orig.tar.gz
  

2 changed files:

• + coq-doc_8.15.1.orig.tar.gz.delta
• + coq-doc_8.15.1.orig.tar.gz.id

Changes:

coq-doc_8.15.1.orig.tar.gz.delta

---

No preview for this file type

coq-doc_8.15.1.orig.tar.gz.id

---

1

+84bfcca0a2a184b7726d4ce3efb640a02ca57669

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.