|
boot.nix
|
* make ghcboot work on 64-bit
|
2007-08-07 23:59:08 +00:00 |
|
boot.sh
|
* make ghcboot work on 64-bit
|
2007-08-07 23:59:08 +00:00 |
|
builder.sh
|
* Give the GHC builder a temporary $HOME.
|
2006-06-23 20:08:48 +00:00 |
|
default.nix
|
* Copy a bunch of files to nix.cs.uu.nl.
|
2006-10-12 13:50:54 +00:00 |
