Package: ftp.debian.org Severity: normal Dear FTP Masters, Please remove pa-bench from unstable. It is deprecated by upstream [1], and it gets in the way of removing camlp4 from Debian [2]. [1] https://github.com/janestreet-deprecated/ [2] https://bugs.debian.org/933722 Cheers, -- Stéphane