coq-doc 8.6-1 is marked for autoremoval from testing on 2019-11-21 It is affected by these RC bugs: 939741: coq-doc: FTBFS with OCaml 4.08.0 (safe strings)
coq-doc is marked for autoremoval from testing
Debian testing autoremoval watch Wed, 06 Nov 2019 20:55:31 -0800
