Package: ftp.debian.org Severity: normal X-Debbugs-Cc: debian-ocaml-ma...@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
