Ubuntu
matita package

  1. Bug #1704653
  2. Comment #2

Comment 2 for bug 1704653

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

Removing packages from artful:
 nurpawiki 1.2.3-10build3 in artful
  nurpawiki 1.2.3-10build3 in artful amd64
  nurpawiki 1.2.3-10build3 in artful arm64
  nurpawiki 1.2.3-10build3 in artful armhf
  nurpawiki 1.2.3-10build3 in artful i386
  nurpawiki 1.2.3-10build3 in artful ppc64el
  nurpawiki 1.2.3-10build3 in artful s390x
Comment: Build-depends on eliom, uninstallable with new ocaml; LP: #1704653
1 package successfully removed.