John Wiegley 8d8acebfbb Extra: rename directory to Extra-lib ... This is needed because not everyone uses a case-sensitive filesystem (namely, OS X), which causes the Extra and extra packages to collide. Since extra is more recently maintained (by the author of Shake and Hoogle), I've renamed Extra to just Extra-lib, keeping everything else the same.		2014-10-20 19:17:12 -05:00
..
default.nix	Extra: rename directory to Extra-lib	2014-10-20 19:17:12 -05:00