Bug#933722: camlp4 is deprecated and almost dead upstream (and a key package)

[Stéphane Glondu]

I've dedicated a section to this problem in the wiki page:

  https://wiki.debian.org/Teams/OCamlTaskForce/TODO

-- 
Stéphane