[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.15.1+dfsg.orig.tar.xz

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

Title: GitLab

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

Commits:

• 750a3fbd
  by Julien Puydt at 2022-03-22T17:38:03+01:00

  pristine-tar data for coq_8.15.1+dfsg.orig.tar.xz
  

2 changed files:

• + coq_8.15.1+dfsg.orig.tar.xz.delta
• + coq_8.15.1+dfsg.orig.tar.xz.id

Changes:

coq_8.15.1+dfsg.orig.tar.xz.delta

---

No preview for this file type

coq_8.15.1+dfsg.orig.tar.xz.id

---

1

+a56c15ca42e8cd133911422e032060ec9e1ccedb

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