Bug#1059229: RM: mathcomp-abel -- ROM; abandoned upstream

[Julien Puydt <jpuydt@debian.org>]

Package: ftp.debian.org
Severity: normal
User: ftp.debian.org@packages.debian.org
Usertags: remove
X-Debbugs-Cc: mathcomp-abel@packages.debian.org, Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org
Control: affects -1 + src:mathcomp-abel

Hi,

tagging it as abandoned is a bit excessive -- it's just that upstream doesn't
keep the software updated with the rest of the Coq ecosystem on a regular
basis, so making sure it works with the rest of the Coq-related packages in
Debian is going to be extremely painful.

It's a leaf package, and not a very useful one at that, so we can drop it.

Cheers,

J.Puydt