ocaml-maint team mailing list archive

[Steve Langasek <steve.langasek@xxxxxxxxxxxxx>]

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

-- 
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