Ubuntu
coq package

  1. Bug #49546
  2. Comment #5

Comment 5 for bug 49546

Revision history for this message
William Grant (wgrant) wrote :

This is fixed in the 8.1 beta, which is in experimental. When 8.1 final is released, it will go into unstable, and thus be fixed here.