Marked for autoremoval on 06 February: #916369high
Version 8.6-5 of coq is marked for autoremoval from testing on Wed 06 Feb 2019. It is affected by #916369. The removal of coq will also cause the removal of (transitive) reverse dependencies: aac-tactics, ssreflect, why, why3. You should try to prevent the removal by fixing these RC bugs.