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