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

[Julien Puydt (@jpuydt)]

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

-- 

You're receiving this email because of your account on salsa.debian.org.