Bug#1001114: RM: apron -- RoQA; unmaintained, low popcon, outdated

[Stéphane Glondu <glondu@debian.org>]

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

Dear FTP Team,

Please remove apron from unstable. It has no human maintainers and low
popcon. Moreover, it is outdated: upstream is at 0.9.13 where as
Debian has 0.9.10, which dates back to its introduction in 2009. It is
heavily patched, and updating it requires introducing a new package
(at least mlgmpidl) and someone who cares (IMHO).


Cheers,

-- 
Stéphane