Ubuntu
matita package

FTBFS with ocaml 4.04, please demote to proposed or remove

Bug #1704653 reported by Dimitri John Ledkov
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
cduce (Ubuntu)
Fix Released
Undecided
Unassigned
coinst (Ubuntu)
Fix Released
Undecided
Unassigned
eliom (Ubuntu)
Fix Released
Undecided
Unassigned
js-of-ocaml (Ubuntu)
Fix Released
Undecided
Unassigned
matita (Ubuntu)
Fix Released
Undecided
Unassigned
nurpawiki (Ubuntu)
Fix Released
Undecided
Unassigned
ocaml-ipaddr (Ubuntu)
Fix Released
Undecided
Unassigned
ocsigenserver (Ubuntu)
Fix Released
Undecided
Unassigned

Bug Description

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.

See original description
Dimitri John Ledkov (xnox)
description: updated
Dimitri John Ledkov (xnox)
description: updated
Revision history for this message
Steve Langasek (vorlon) wrote :

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.

Changed in cduce (Ubuntu):
status: New → Fix Released
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.

Changed in nurpawiki (Ubuntu):
status: New → Fix Released
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.

Changed in eliom (Ubuntu):
status: New → Fix Released
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.

Changed in coinst (Ubuntu):
status: New → Fix Released
Revision history for this message
Steve Langasek (vorlon) wrote :

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.

Changed in js-of-ocaml (Ubuntu):
status: New → Fix Released
Revision history for this message
Steve Langasek (vorlon) wrote :

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.

Changed in matita (Ubuntu):
status: New → Fix Released
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.

Changed in ocsigenserver (Ubuntu):
status: New → Fix Released
Revision history for this message
Steve Langasek (vorlon) wrote :

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.

Changed in ocaml-ipaddr (Ubuntu):
status: New → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.