[Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_20231021.orig.tar.xz

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

Title: GitLab

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

Commits:

• 840bb0e8
  by Stephane Glondu at 2023-10-23T14:51:47+02:00

  pristine-tar data for hol-light_20231021.orig.tar.xz
  

2 changed files:

• + hol-light_20231021.orig.tar.xz.delta
• + hol-light_20231021.orig.tar.xz.id

Changes:

hol-light_20231021.orig.tar.xz.delta

---

No preview for this file type

hol-light_20231021.orig.tar.xz.id

---

1

+22eb4bdeacf443e6050fd8530ccf0e95f636f134

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