8d8acebfbb
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. |
||
|---|---|---|
| .. | ||
| arduino | ||
| compilers | ||
| coq-modules | ||
| eclipse | ||
| guile-modules | ||
| interpreters | ||
| libraries | ||
| lisp-modules | ||
| lua-modules | ||
| misc | ||
| mobile | ||
| ocaml-modules | ||
| perl-modules | ||
| pharo | ||
| pure-modules/pure-gsl | ||
| python-modules | ||
| qtcreator | ||
| r-modules | ||
| ruby-modules | ||
| tools | ||
| web | ||