ocaml-maint team mailing list archive

[Dimitri John Ledkov <launchpad@xxxxxxxxxxxx>]

Public bug reported:

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

* cduce

After these removals, 4.04 ocaml transition should be migratable.

** Affects: cduce (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: coinst (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: eliom (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: js-of-ocaml (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: matita (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: nurpawiki (Ubuntu)
     Importance: Undecided
         Status: New

** Also affects: js-of-ocaml (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: cduce (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: coinst (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: eliom (Ubuntu)
   Importance: Undecided
       Status: New

** Also affects: nurpawiki (Ubuntu)
   Importance: Undecided
       Status: New

** Description changed:

  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
+   - coinst
+   - eliom
+   - nurpawiki
  
  * cduce
+ 
+ After these removals, 4.04 ocaml transition should be migratable.

-- 
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:
  New
Status in coinst package in Ubuntu:
  New
Status in eliom package in Ubuntu:
  New
Status in js-of-ocaml package in Ubuntu:
  New
Status in matita package in Ubuntu:
  New
Status in nurpawiki package in Ubuntu:
  New

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

  * 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