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

["vimerbf (@vimerbf-guest)" <gitlab@salsa.debian.org>]

Title: GitLab

vimerbf pushed to branch pristine-tar at Debian OCaml Maintainers / hol-light

Commits:

• 5c87fd31
  by Bo YU at 2024-11-25T22:05:25+08:00

  pristine-tar data for hol-light_3.0.0.orig.tar.xz
  

2 changed files:

• + hol-light_3.0.0.orig.tar.xz.delta
• + hol-light_3.0.0.orig.tar.xz.id

Changes:

hol-light_3.0.0.orig.tar.xz.delta

---

No preview for this file type

hol-light_3.0.0.orig.tar.xz.id

---

1

+28b5bc2af73cb35e50e410836ae6bcbdd75796f7

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