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

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/aac-tactics] Pushed new tag upstream/9.0.0
From: "Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>
Date: Wed, 29 Oct 2025 07:04:00 +0000
Message-id: <[🔎] 6901bc6013cdc_4d42eda6f0935142@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

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

Reply to:

Prev by Date: [Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-1
Next by Date: Bug#1105230: marked as done (aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse)
Previous by thread: [Git][ocaml-team/aac-tactics] Pushed new tag debian/9.0.0-1
Next by thread: Bug#1105230: marked as done (aac-tactics: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile.coq:613: install-byte] Error 2 shuffle=reverse)
Index(es):
- Date
- Thread