[Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-2

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-2
From: "Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>
Date: Tue, 11 Nov 2025 17:24:57 +0000
Message-id: <[🔎] 6913716938f0e_13a76dfedb57033559cc@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Julien Puydt pushed new tag debian/9.0.0-2 at Debian OCaml Maintainers / aac-tactics

Reply to:

Prev by Date: [Git][ocaml-team/aac-tactics][master] 2 commits: Strenghten depend on coq/rocq
Next by Date: [Git][ocaml-team/ssreflect][master] 2 commits: Strenghten depends on coq/rocq
Previous by thread: [Git][ocaml-team/aac-tactics][master] 2 commits: Strenghten depend on coq/rocq
Next by thread: [Git][ocaml-team/ssreflect][master] 2 commits: Strenghten depends on coq/rocq
Index(es):
- Date
- Thread