Ubuntu
coq package

  1. Bug #1868106
  2. Comment #5

Comment 5 for bug 1868106

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

But why3-coq needed to be removed on s390x.

Removing packages from focal-proposed:
 why3-coq 1.2.1-3build1 in focal s390x
Comment: ANAIS
1 package successfully removed.