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

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/why3] Pushed new tag debian/1.8.0-1
From: "Ralf Treinen (@treinen)" <gitlab@salsa.debian.org>
Date: Thu, 23 Jan 2025 02:20:04 +0000
Message-id: <[🔎] 6791a754c7858_3c22658efb43266689@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Ralf Treinen pushed new tag debian/1.8.0-1 at Debian OCaml Maintainers / why3

Reply to:

Prev by Date: [Git][ocaml-team/why3][master] upload to unstable
Next by Date: [Git][ocaml-team/why3] Pushed new tag upstream/1.8.0
Previous by thread: [Git][ocaml-team/why3][master] upload to unstable
Next by thread: [Git][ocaml-team/why3] Pushed new tag upstream/1.8.0
Index(es):
- Date
- Thread