Package: ftp.debian.org Severity: normal User: ftp.debian....@packages.debian.org Usertags: remove X-Debbugs-Cc: mathcomp-a...@packages.debian.org, Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>, jpu...@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
