Bug#949127: RM: ppx-driver -- ROM; deprecated by upstream

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

Package: ftp.debian.org
Severity: normal

Dear FTP Masters,

Please remove ppx-driver from unstable. It is deprecated upstream [1]
(in favour of ppxlib) and no longer has reverse-dependencies.

[1] https://github.com/janestreet-deprecated/ppx_driver


Cheers,

-- 
Stéphane