Package: ftp.debian.org Severity: normal Dear FTP Masters,
Please remove ppx-core from unstable. It is deprecated upstream [1] (in favour of ppxlib) and no longer has reverse-dependencies. [1] https://github.com/janestreet-deprecated/ppx_core Cheers, -- Stéphane
