Aristid Breitkreuz 6c7786074f fix sound in minecraft for pulseaudio users		2014-10-05 19:50:35 +02:00
..
applications	sweethome3d: update to latest	2014-10-05 15:59:12 +02:00
build-support	fix fetchurl	2014-10-05 19:23:27 +02:00
data	linux-man-pages: Update to version 3.73.	2014-10-02 10:25:12 +02:00
desktops	XFCE battery plugin: new package	2014-10-05 17:18:37 +01:00
development	rustcMaster: Update to more recent commit and remove patch	2014-10-05 17:47:36 +02:00
games	fix sound in minecraft for pulseaudio users	2014-10-05 19:50:35 +02:00
misc	Update dolphinEmuMaster	2014-10-03 20:30:28 +01:00
os-specific	Clean up command-line tools a bit to allow us to use an impure	2014-10-04 20:21:15 +01:00
servers	fix sound in minecraft for pulseaudio users	2014-10-05 19:50:35 +02:00
shells	bash: add patch set 51 to fix http://lcamtuf.blogspot.de/2014/10/bash-bug-how-we-finally-cracked.html	2014-10-01 23:02:56 +02:00
stdenv	Eliminate some optionals/optionalAttrs calls on the hot path	2014-10-05 01:59:24 +02:00
test	s/dependancy/dependency/	2014-09-10 00:28:49 +01:00
tools	FONTCONFIG_FILE: remove setters to /etc/fonts/fonts.conf	2014-10-05 17:05:27 +02:00
top-level	fix sound in minecraft for pulseaudio users	2014-10-05 19:50:35 +02:00