Bug#214536: coq: Could you upgrade coq to version 7.4 ?

[Ralf Treinen]

Hi,

coq 7.4 is still labeled by upstream as unstable, 7.3.1 is the last
stable release. Hence I don't think that it is a good idea to get
7.4 in sarge.

-Ralf.
--