[Git][ocaml-team/coq][pristine-tar] 2 commits: pristine-tar data for coq_8.19.2+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:

• c8d197e1
  by Julien Puydt at 2024-08-26T15:53:05+02:00

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

• 0d12256a
  by Julien Puydt at 2024-09-16T07:09:21+02:00

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

4 changed files:

• + coq_8.19.2+dfsg.orig.tar.xz.delta
• + coq_8.19.2+dfsg.orig.tar.xz.id
• + coq_8.20.0+dfsg.orig.tar.xz.delta
• + coq_8.20.0+dfsg.orig.tar.xz.id

Changes:

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

---

No preview for this file type

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

---

1

+7a2506f6d5541efb77dea009572a430c0e5b4620

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

---

No preview for this file type

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

---

1

+e9ee45d55baffe35776153b95ae67e17b33ac427

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help