Ubuntu
matita package

  1. Bug #1704653
  2. Comment #1

Comment 1 for bug 1704653

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

Removing packages from artful:
 cduce 0.6.0-5build3 in artful
  cduce 0.6.0-5build3 in artful amd64
  cduce 0.6.0-5build3 in artful arm64
  cduce 0.6.0-5build3 in artful armhf
  cduce 0.6.0-5build3 in artful i386
  cduce 0.6.0-5build3 in artful ppc64el
  cduce 0.6.0-5build3 in artful s390x
Comment: FTBFS with current ocaml; LP: #1704653
1 package successfully removed.
Removing packages from artful-proposed:
 cduce 0.6.0-5build4 in artful
Comment: FTBFS with current ocaml; LP: #1704653
1 package successfully removed.