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