Ubuntu
coq package

  1. Bug #49546
  2. Comment #6

Comment 6 for bug 49546

Revision history for this message
Jonh Wendell (wendell) wrote :

I've put it on Education category