[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.8.1.orig.tar.bz2

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

Title: GitLab

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

Commits:

• b5839660
  by Stephane Glondu at 2025-09-12T14:14:38+02:00

  pristine-tar data for why3_1.8.1.orig.tar.bz2
  

2 changed files:

• + why3_1.8.1.orig.tar.bz2.delta
• + why3_1.8.1.orig.tar.bz2.id

Changes:

why3_1.8.1.orig.tar.bz2.delta

---

No preview for this file type

why3_1.8.1.orig.tar.bz2.id

---

1

+a3a0be9417029897c6f1d5f4c1f98399a5da7f6c

—
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/why3/-/commit/b58396600d479ad21f505055d3aeb37ee769726c at 1757682146