Ubuntu
matita package

  1. Bug #1704653
  2. Comment #0

Comment 0 for bug 1704653

Revision history for this message
Dimitri John Ledkov (xnox) wrote :

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