coq-float is marked for autoremoval from testing

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

coq-float 1:8.4-5 is marked for autoremoval from testing on 2016-03-18

It is affected by these RC bugs:
813596: coq-float: FTBFS: make[2]: *** No rule to make target 'depend'.  Stop.

Reply via email to