[Git][ocaml-team/hol-light] Pushed new tag debian/1%3.1.0-1

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/hol-light] Pushed new tag debian/1%3.1.0-1
From: Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>
Date: Sat, 20 Dec 2025 03:02:36 +0000
Message-id: <[🔎] 694611cc375ed_4c7232d46a0564985@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Stéphane Glondu pushed new tag debian/1%3.1.0-1 at Debian OCaml Maintainers / hol-light

Reply to:

Prev by Date: [Git][ocaml-team/hol-light][master] Prepare upload to unstable
Next by Date: [Git][ocaml-team/hol-light] Pushed new tag archive/debian/1%3.1.0-1
Previous by thread: [Git][ocaml-team/hol-light][master] Prepare upload to unstable
Next by thread: [Git][ocaml-team/hol-light] Pushed new tag archive/debian/1%3.1.0-1
Index(es):
- Date
- Thread