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

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_3.1.0.orig.tar.xz
From: Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>
Date: Sat, 20 Dec 2025 02:50:54 +0000
Message-id: <[🔎] 69460f0ece70e_4c724c96ee4564866@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

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

Commits:

be6955dd
by Stephane Glondu at 2025-12-20T03:39:34+01:00
```
pristine-tar data for hol-light_3.1.0.orig.tar.xz
```

2 changed files:

+ hol-light_3.1.0.orig.tar.xz.delta
+ hol-light_3.1.0.orig.tar.xz.id

Changes:

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

No preview for this file type

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

1

+1cfe633a05b355a0369a2fc1b69657e67e17c446

Reply to:

Prev by Date: [Git][ocaml-team/hol-light][master] 7 commits: New upstream version 3.0.0
Next by Date: [Git][ocaml-team/hol-light][upstream] New upstream version 3.1.0
Previous by thread: [Git][ocaml-team/hol-light][master] 7 commits: New upstream version 3.0.0
Next by thread: [Git][ocaml-team/hol-light][upstream] New upstream version 3.1.0
Index(es):
- Date
- Thread