Nix Packages collection

Peter Simons fb1b425a74 Agda-executable: jailbreak to fix the build with recent versions of Agda		2012-11-12 12:48:27 +01:00
doc	Document that Java packages should install JARs in $out/lib/java	2012-11-08 16:31:08 +01:00
maintainers	svn path=/nixpkgs/trunk/; revision=32961	2012-03-09 17:53:04 +00:00
pkgs	Agda-executable: jailbreak to fix the build with recent versions of Agda	2012-11-12 12:48:27 +01:00
.gitignore	Tell git to ignore .*.swp - Vim swap files	2012-10-04 11:27:57 +04:00
COPYING	* Applying an MIT-style license to Nixpkgs.	2006-04-25 16:50:34 +00:00
default.nix	* For convenience, provide a top-level Nix expression that simply	2007-04-26 14:32:57 +00:00
VERSION	* Bump version number.	2012-06-04 03:53:25 +00:00