Peter Simons 7268605e00 idris: remove outdated overrides ... The Idris build is broken for several reasons, I'm afraid, and has been broken since a while. It' seems unnecessary to carry these non-functioning overrides around.		2015-05-18 18:04:36 +02:00
..
applications	bomi: update, add youtube-dl support	2015-05-18 17:21:08 +03:00
build-support	emacsWithPackages: install support files	2015-05-17 14:24:34 -05:00
data	zeal: update to 0.1.1 (close #7858)	2015-05-18 13:46:09 +02:00
desktops	Fix evaluation of goffice 0.8 across gnome updates	2015-05-18 13:05:26 +02:00
development	idris: remove outdated overrides	2015-05-18 18:04:36 +02:00
games	Add c0dehero as a maintainer of minetest and voxelands	2015-05-17 22:47:36 +02:00
misc	hplip: do wrap Python scripts in $out/lib	2015-05-17 23:39:58 +02:00
os-specific	kernel: 3.14.42 -> 3.14.43	2015-05-18 01:45:49 -07:00
servers	rpcbind: update package	2015-05-18 17:21:08 +03:00
shells	pythonPackages.ipython: 2.3.1 -> 3.1.0	2015-05-02 22:05:07 +02:00
stdenv	add is{GNU,Clang} attrs to cc-wrapper.	2015-05-11 14:39:36 -07:00
test
tools	network-manager-l2tp: add homepage	2015-05-18 17:21:08 +03:00
top-level	bomi: build with PulseAudio support by default	2015-05-18 17:21:08 +03:00