Peter Simons 686ea115a9 idris: broken by recent Haskell updates ...

http://hydra.cryp.to/build/190927/nixlog/1/raw

2014-09-14 00:06:43 +02:00

..

default.nix

idris: broken by recent Haskell updates

2014-09-14 00:06:43 +02:00

wrapper.nix

idris: provide boehmgc to compile with llvm backend

2014-06-16 22:43:51 +02:00