Coq

  1. Bug #935063
  2. Comment #4

Comment 4 for bug 935063

Revision history for this message
Andreas Moog (ampelbein) wrote :

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