agda
|
Add a builder for Agda packages.
|
2014-09-01 01:05:48 +01:00 |
fetchbzr
|
build-support: Fix nix-prefetch-* on OS X.
|
2014-08-27 11:22:34 +02:00 |
fetchcvs
|
build-support: Fix nix-prefetch-* on OS X.
|
2014-08-27 11:22:34 +02:00 |
fetchgit
|
Allow git checkouts to have custom name
|
2014-09-03 21:54:25 +04:00 |
fetchhg
|
build-support: Fix nix-prefetch-* on OS X.
|
2014-08-27 11:22:34 +02:00 |
fetchsvn
|
build-support: Fix nix-prefetch-* on OS X.
|
2014-08-27 11:22:34 +02:00 |
gcc-wrapper
|
ld-wrapper: Put back the --sysroot filter
|
2014-09-02 13:18:03 +02:00 |
grsecurity
|
grsecurity: Update stable and test patches
|
2014-09-08 15:16:38 +02:00 |
upstream-updater
|
More support for SF.net in auto-updater
|
2014-09-02 14:25:16 +04:00 |
vm
|
Remove references to <nixpkgs>
|
2014-09-23 15:48:15 +02:00 |