[Git][ocaml-team/why3] Pushed new tag upstream/1.5.1

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/why3] Pushed new tag upstream/1.5.1
From: "Ralf Treinen (@treinen)" <gitlab@salsa.debian.org>
Date: Fri, 30 Sep 2022 02:49:08 +0000
Message-id: <[🔎] 63365924e01ae_22a4a172884151389@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Ralf Treinen pushed new tag upstream/1.5.1 at Debian OCaml Maintainers / why3

Reply to:

Prev by Date: [Git][ocaml-team/why3][upstream] New upstream version 1.5.1
Next by Date: [Git][ocaml-team/why3][master] 2 commits: New upstream version 1.5.1
Previous by thread: [Git][ocaml-team/why3][upstream] New upstream version 1.5.1
Next by thread: [Git][ocaml-team/why3][master] 2 commits: New upstream version 1.5.1
Index(es):
- Date
- Thread