[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_9.1.0+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:

• 6c68b53d
  by Julien Puydt at 2025-09-16T23:37:02+02:00

  pristine-tar data for coq_9.1.0+dfsg.orig.tar.xz
  

2 changed files:

• + coq_9.1.0+dfsg.orig.tar.xz.delta
• + coq_9.1.0+dfsg.orig.tar.xz.id

Changes:

coq_9.1.0+dfsg.orig.tar.xz.delta

---

No preview for this file type

coq_9.1.0+dfsg.orig.tar.xz.id

---

1

+a74444da85655f17c4f6d8d9ea17b73d4f350f7d

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help Notification message regarding https://salsa.debian.org/ocaml-team/coq/-/commit/6c68b53d7f9a95b9fd08a1d91fef7c3e356bd45d at 1758085479