[Git][ocaml-team/coq] Deleted tag debian/9.0.0+dfsg-1

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/coq] Deleted tag debian/9.0.0+dfsg-1
From: "Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>
Date: Fri, 22 Aug 2025 09:56:12 +0000
Message-id: <[🔎] 68a83ebca2a63_41b154db0b053854c1@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Julien Puydt deleted tag debian/9.0.0+dfsg-1 at Debian OCaml Maintainers / coq

Reply to:

Prev by Date: [Git][ocaml-team/coq] Pushed new tag debian/9.0.0+dfsg-1
Next by Date: ocaml-patch_3.0.0-1_amd64.changes ACCEPTED into unstable
Previous by thread: [Git][ocaml-team/coq] Pushed new tag debian/9.0.0+dfsg-1
Next by thread: ocaml-patch_3.0.0-1_amd64.changes ACCEPTED into unstable
Index(es):
- Date
- Thread