Ubuntu
matita package

  1. Bug #1704653
  2. Comment #7

Comment 7 for bug 1704653

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

Removing ocsigenserver, ocaml-ipaddr only on arm64.

Removing packages from artful:
 ocsigenserver 2.7-1build2 in artful arm64
Comment: Build-depends on ocaml-ipaddr which FTBFS with current ocaml; LP: #1704653
1 package successfully removed.