Coq

Comment 4 for bug 935063

Andreas Moog (ampelbein) wrote :

This is fixed in the current Ubuntu development release.
Precise is EoL, setting task to Won't Fix.