[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.10.1.orig.tar.gz

[Ralf Treinen <gitlab@salsa.debian.org>]

Title: GitLab

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

---

No preview for this file type

coq_8.10.1.orig.tar.gz.id

---

1

+40c0e6d9c3b17f725d1751802130a8b9b38ede59

—
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.