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
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
fetchurl
Add mirrors for sage
2014-11-03 23:04:44 +01: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