FTBFS with ocaml 4.04, please demote to proposed or remove

[Dimitri John Ledkov]

The packages below FTBFS with ocaml 4.04 and are beyond my ocaml ability to fix.

Or fixing FTBFS involves packaging new deps as is the case with js-of-ocaml which needs new tyxml, which needs markup -> new package.

I expect all of these to come back from debian, when debian moves to 4.05.

* matita

* js-of-ocaml
  - coinst
  - eliom
  - nurpawiki

* ocaml-ipaddr - preprocessor segfaults on arm64, maybe remove just on arm64
  - ocsigenserver requires ocaml-ipaddr

* cduce

After these removals, 4.04 ocaml transition should be migratable.

[Steve Langasek (vorlon)]

Removing packages from artful:
 cduce 0.6.0-5build3 in artful
  cduce 0.6.0-5build3 in artful amd64
  cduce 0.6.0-5build3 in artful arm64
  cduce 0.6.0-5build3 in artful armhf
  cduce 0.6.0-5build3 in artful i386
  cduce 0.6.0-5build3 in artful ppc64el
  cduce 0.6.0-5build3 in artful s390x
Comment: FTBFS with current ocaml; LP: #1704653
1 package successfully removed.
Removing packages from artful-proposed:
 cduce 0.6.0-5build4 in artful
Comment: FTBFS with current ocaml; LP: #1704653
1 package successfully removed.

[Steve Langasek (vorlon)]

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.

[Steve Langasek (vorlon)]

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.

[Steve Langasek (vorlon)]

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.

[Steve Langasek (vorlon)]

Removing packages from artful:
 js-of-ocaml 2.5-2build2 in artful
  js-of-ocaml 2.5-2build2 in artful amd64
  js-of-ocaml 2.5-2build2 in artful arm64
  js-of-ocaml 2.5-2build2 in artful armhf
  js-of-ocaml 2.5-2build2 in artful i386
  js-of-ocaml 2.5-2build2 in artful ppc64el
  js-of-ocaml 2.5-2build2 in artful s390x
  libjs-of-ocaml 2.5-2build2 in artful amd64
  libjs-of-ocaml 2.5-2build2 in artful arm64
  libjs-of-ocaml 2.5-2build2 in artful armhf
  libjs-of-ocaml 2.5-2build2 in artful i386
  libjs-of-ocaml 2.5-2build2 in artful ppc64el
  libjs-of-ocaml 2.5-2build2 in artful s390x
  libjs-of-ocaml-dev 2.5-2build2 in artful amd64
  libjs-of-ocaml-dev 2.5-2build2 in artful arm64
  libjs-of-ocaml-dev 2.5-2build2 in artful armhf
  libjs-of-ocaml-dev 2.5-2build2 in artful i386
  libjs-of-ocaml-dev 2.5-2build2 in artful ppc64el
  libjs-of-ocaml-dev 2.5-2build2 in artful s390x
  libjs-of-ocaml-doc 2.5-2build2 in artful amd64
  libjs-of-ocaml-doc 2.5-2build2 in artful arm64
  libjs-of-ocaml-doc 2.5-2build2 in artful armhf
  libjs-of-ocaml-doc 2.5-2build2 in artful i386
  libjs-of-ocaml-doc 2.5-2build2 in artful ppc64el
  libjs-of-ocaml-doc 2.5-2build2 in artful s390x
Comment: broken with new ocaml; LP: #1704653
1 package successfully removed.
Removing packages from artful-proposed:
 js-of-ocaml 2.8.4-0ubuntu1 in artful
Comment: broken with new ocaml; LP: #1704653
1 package successfully removed.

[Steve Langasek (vorlon)]

Removing packages from artful:
 matita 0.99.3-1 in artful
  matita 0.99.3-1 in artful amd64
  matita 0.99.3-1 in artful arm64
  matita 0.99.3-1 in artful armhf
  matita 0.99.3-1 in artful i386
  matita 0.99.3-1 in artful ppc64el
  matita 0.99.3-1 in artful s390x
Comment: FTBFS with new ocaml; LP: #1704653
1 package successfully removed.

[Steve Langasek (vorlon)]

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.

[Steve Langasek (vorlon)]

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.