Ubuntu
matita package

  1. Bug #1704653
  2. Comment #3

Comment 3 for bug 1704653

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

Removing packages from artful:
 eliom 4.2-3build3 in artful
  eliom 4.2-3build3 in artful amd64
  eliom 4.2-3build3 in artful arm64
  eliom 4.2-3build3 in artful armhf
  eliom 4.2-3build3 in artful i386
  eliom 4.2-3build3 in artful ppc64el
  eliom 4.2-3build3 in artful s390x
  libeliom-ocaml-dev 4.2-3build3 in artful amd64
  libeliom-ocaml-dev 4.2-3build3 in artful arm64
  libeliom-ocaml-dev 4.2-3build3 in artful armhf
  libeliom-ocaml-dev 4.2-3build3 in artful i386
  libeliom-ocaml-dev 4.2-3build3 in artful ppc64el
  libeliom-ocaml-dev 4.2-3build3 in artful s390x
  libeliom-ocaml-doc 4.2-3build3 in artful amd64
  libeliom-ocaml-doc 4.2-3build3 in artful arm64
  libeliom-ocaml-doc 4.2-3build3 in artful armhf
  libeliom-ocaml-doc 4.2-3build3 in artful i386
  libeliom-ocaml-doc 4.2-3build3 in artful ppc64el
  libeliom-ocaml-doc 4.2-3build3 in artful s390x
Comment: Build-depends on js-of-ocaml, uninstallable with new ocaml; LP: #1704653
1 package successfully removed.