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 Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1704653
Title:
FTBFS with ocaml 4.04, please demote to proposed or remove
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/cduce/+bug/1704653/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
