Bug#1111841: RM: coq-serapi -- ROM; dead upstream

[Julien Puydt <julien.puydt@gmail.com>]

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org
User: ftp.debian.org@packages.debian.org
Usertags: remove

Dear FTP Team,

Please remove coq-serapi from unstable. The project is dead upstream,
superseced by coq-lsp (probable future ITP).

I tried:
  ssh mirror.ftp-master.debian.org "dak rm -Rn coq-serapi"
to check it's a leaf package ; it is!

Cheers,

J.Puydt