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

[Stéphane Glondu <gitlab@salsa.debian.org>]

Title: GitLab

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / coq

Commits:

• 21925eac
  by Stephane Glondu at 2019-08-11T16:43:50Z

  pristine-tar data for coq_8.9.0.orig.tar.gz
  

1 changed file:

• coq_8.9.0.orig.tar.gz.delta

Changes:

coq_8.9.0.orig.tar.gz.delta

---

No preview for this file type

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