[Git][ocaml-team/why3] Pushed new tag archive/debian/1.6.0-1

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/why3] Pushed new tag archive/debian/1.6.0-1
From: Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>
Date: Fri, 08 Sep 2023 05:12:05 +0000
Message-id: <[🔎] 64faad259dd54_25b28bec58e5c13391b@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Stéphane Glondu pushed new tag archive/debian/1.6.0-1 at Debian OCaml Maintainers / why3

Reply to:

Prev by Date: [Git][ocaml-team/why3][master] 5 commits: New upstream version 1.6.0
Next by Date: Processing of why3_1.6.0-1_source.changes
Previous by thread: [Git][ocaml-team/why3][master] 5 commits: New upstream version 1.6.0
Next by thread: Processing of why3_1.6.0-1_source.changes
Index(es):
- Date
- Thread