Ubuntu
matita package

  1. Bug #1704653
  2. Comment #8

Comment 8 for bug 1704653

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

Removing packages from artful:
 libipaddr-ocaml-dev 2.7.0-2build1 in artful arm64
 libipaddr-ocaml 2.7.0-2build1 in artful arm64
Comment: FTBFS with current ocaml; LP: #1704653
2 packages successfully removed.