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

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/hol-light] Pushed new tag debian/20230128-2
From: Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>
Date: Thu, 07 Sep 2023 01:58:04 +0000
Message-id: <[🔎] 64f92e2cc2843_25b28b173bd3c11459d4@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

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

Reply to:

Prev by Date: Bug#1051377: RM: ulex0.8 -- ROM; no more rdeps; FTBFS
Next by Date: Processing of hol-light_20230128-2_source.changes
Previous by thread: Bug#1051377: RM: ulex0.8 -- ROM; no more rdeps; FTBFS
Next by thread: Processing of hol-light_20230128-2_source.changes
Index(es):
- Date
- Thread