ocaml-maint team mailing list archive

[Steve Langasek <steve.langasek@xxxxxxxxxxxxx>]

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

-- 
You received this bug notification because you are a member of Debian
OCaml Maintainers, which is subscribed to matita in Ubuntu.
https://bugs.launchpad.net/bugs/1704653

Title:
  FTBFS with ocaml 4.04, please demote to proposed or remove

Status in cduce package in Ubuntu:
  Fix Released
Status in coinst package in Ubuntu:
  Fix Released
Status in eliom package in Ubuntu:
  Fix Released
Status in js-of-ocaml package in Ubuntu:
  Fix Released
Status in matita package in Ubuntu:
  Fix Released
Status in nurpawiki package in Ubuntu:
  Fix Released
Status in ocaml-ipaddr package in Ubuntu:
  Fix Released
Status in ocsigenserver package in Ubuntu:
  Fix Released

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.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/cduce/+bug/1704653/+subscriptions