Ubuntu
coq package

  1. Bug #1868106
  2. Comment #4

Comment 4 for bug 1868106

Revision history for this message
Steve Langasek (vorlon) wrote :

why3's build-dependency on coq is arch-qualified in -proposed.