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

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.18.0
From: "Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>
Date: Tue, 26 Sep 2023 12:49:27 +0000
Message-id: <[🔎] 6512d357805e8_25b28b4df7d8645165723@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

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

Reply to:

Prev by Date: [Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.18.0.orig.tar.gz
Next by Date: Bug#1046412: marked as done (unison-2.52: Fails to build source after successful build)
Previous by thread: [Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.18.0.orig.tar.gz
Next by thread: Bug#246846: marked as done (Problems with some examples)
Index(es):
- Date
- Thread