Bug#934907: RM: pa-bench -- ROM; deprecated by upstream

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Bug#934907: RM: pa-bench -- ROM; deprecated by upstream

Stéphane Glondu-3
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