coq-doc is marked for autoremoval from testing

Wed, 10 Feb 2016 20:58:06 -0800 

coq-doc 8.4pl4-1 is marked for autoremoval from testing on 2016-02-26

It is affected by these RC bugs:
813063: coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: 
Error: This comment contains an unterminated string literal

Reply via email to