kili 4f6e960e6d Mark as broken for now, because it doesn't build with ghc-7.4. ...

A newer version probably works but needs some new dependencies,
IIRC.

ok, jasper@ (during g2k12).

2012-09-02 18:08:33 +00:00

..

compiler

Bump to enforce updates.

2011-12-27 21:10:28 +00:00

language

Mark as broken for now, because it doesn't build with ghc-7.4.

2012-09-02 18:08:33 +00:00

Makefile

…

Makefile.inc

…