[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#934227: RM: herelib -- ROM; unmaintained, obsolete



Package: ftp.debian.org
Severity: normal

Dear FTP Masters,

Please remove herelib from unstable. It is unmaintained, obsolete [1],
and gets in the way of removing camlp4 [2] from Debian. It has
janest-core and janest-core-kernel as reverse dependencies, for which
there are already RM bugs open.

[1] https://discuss.ocaml.org/t/the-end-of-camlp4/4216/5
[2] https://bugs.debian.org/933722


Cheers,

-- 
Stéphane

Reply to: