Ubuntu
matita package

  1. Bug #1704653
  2. Comment #6

Comment 6 for bug 1704653

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

Removing packages from artful:
 matita 0.99.3-1 in artful
  matita 0.99.3-1 in artful amd64
  matita 0.99.3-1 in artful arm64
  matita 0.99.3-1 in artful armhf
  matita 0.99.3-1 in artful i386
  matita 0.99.3-1 in artful ppc64el
  matita 0.99.3-1 in artful s390x
Comment: FTBFS with new ocaml; LP: #1704653
1 package successfully removed.