[Git][ocaml-team/why3] Pushed new branch v1.8.0/master

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/why3] Pushed new branch v1.8.0/master
From: "Ralf Treinen (@treinen)" <gitlab@salsa.debian.org>
Date: Mon, 20 Jan 2025 07:23:39 +0000
Message-id: <[🔎] 678df9fb2febf_3c221a98ba4215176f@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Ralf Treinen pushed new branch v1.8.0/master at Debian OCaml Maintainers / why3

Reply to:

Prev by Date: [Git][ocaml-team/coccinelle] Pushed new tag upstream/1.3.0.deb
Next by Date: [Git][ocaml-team/unison][pristine-tar] 2 commits: pristine-tar data for unison-2.53_2.53.6.orig.tar.gz
Previous by thread: [Git][ocaml-team/coccinelle] Pushed new tag upstream/1.3.0.deb
Next by thread: [Git][ocaml-team/unison][pristine-tar] 2 commits: pristine-tar data for unison-2.53_2.53.6.orig.tar.gz
Index(es):
- Date
- Thread