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

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/hol-light] Pushed new tag debian/20230128-1
From: Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>
Date: Tue, 31 Jan 2023 11:16:56 +0000
Message-id: <[🔎] 63d8f8a89a10_3fd1641b408182901b@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

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

Reply to:

Prev by Date: [Git][ocaml-team/hol-light] Pushed new tag archive/debian/20230128-1
Next by Date: [Git][ocaml-team/hol-light] Pushed new tag upstream/20230128
Previous by thread: [Git][ocaml-team/hol-light] Pushed new tag archive/debian/20230128-1
Next by thread: [Git][ocaml-team/hol-light] Pushed new tag upstream/20230128
Index(es):
- Date
- Thread