nixpkgs/pkgs
Marco Maggesi dba8b32385 Update HOL Light to rev 128
svn path=/nixpkgs/trunk/; revision=33196
2012-03-17 16:36:36 +00:00
..
applications Update HOL Light to rev 128 2012-03-17 16:36:36 +00:00
build-support gcc-cross-wrapper-libs: Gracefully deal with non-existent /TRIPLET/lib dir. 2012-03-12 09:45:14 +00:00
data Move gsettings-desktop-schemas to data/misc 2012-03-08 22:45:58 +00:00
desktops Make nixpkgs ready for gst_all attrset removal 2012-03-14 22:44:52 +00:00
development dragonegg-3.0 2012-03-17 15:25:00 +00:00
games Make nixpkgs ready to gtkLibs attrset removal 2012-03-14 22:44:41 +00:00
lib add PSFL, update python meta (license, maintainers, unify description) 2012-02-26 17:23:16 +00:00
misc Ghostscript: Fix darwin build 2012-03-16 14:27:58 +00:00
os-specific Adding kexectools. 2012-03-16 21:17:13 +00:00
servers * portmap: Set SO_REUSEADDR to ensure that portmap can restart 2012-03-16 17:42:14 +00:00
shells
stdenv Add `stdenv.isGNU'. 2012-03-06 21:33:14 +00:00
test
tools Move NixosBootPkg into NixOS 2012-03-16 11:53:50 +00:00
top-level dragonegg-3.0 2012-03-17 15:25:00 +00:00