coq-doc 8.4pl4-1 is marked for autoremoval from testing on 2016-02-20 It (build-)depends on packages with these RC bugs: 802264: camlp5: matita: FTBFS with OCaml 4.02.3