Ubuntu
matita package

  1. Bug #1704653
  2. Comment #4

Comment 4 for bug 1704653

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

Removing packages from artful:
 coinst 1.9.3-1 in artful
  coinst 1.9.3-1 in artful amd64
  coinst 1.9.3-1 in artful arm64
  coinst 1.9.3-1 in artful armhf
  coinst 1.9.3-1 in artful i386
  coinst 1.9.3-1 in artful ppc64el
  coinst 1.9.3-1 in artful s390x
  coinst-viewer 1.9.3-1 in artful amd64
  coinst-viewer 1.9.3-1 in artful arm64
  coinst-viewer 1.9.3-1 in artful armhf
  coinst-viewer 1.9.3-1 in artful i386
  coinst-viewer 1.9.3-1 in artful ppc64el
  coinst-viewer 1.9.3-1 in artful s390x
Comment: Build-depends on js-of-ocaml, broken with new ocaml; LP: #1704653
1 package successfully removed.