agda
|
Add a builder for Agda packages.
|
2014-09-01 01:05:48 +01:00 |
fetchadc
|
Add Apple command-line tools
|
2014-10-02 06:50:09 +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 |
fetchegg
|
Infrastructure to build chicken eggs.
|
2014-10-13 23:29:27 +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
|
Updated grsec.
|
2014-10-22 02:18:41 +02:00 |
substitute-files
|
substituteAllFiles: add derivation
|
2014-10-16 15:27:25 +01:00 |
upstream-updater
|
More support for SF.net in auto-updater
|
2014-09-02 14:25:16 +04:00 |
vm
|
Debain 7.6-amd64 tarball was updated in place
|
2014-10-20 15:26:51 -04:00 |