Peter Simons 6644bca846 idris: fix build by providing appropriate versions of the build inputs ... Resolves https://github.com/NixOS/nixpkgs/issues/7014.		2015-03-31 13:56:16 +02:00
..
applications
build-support
data
desktops
development	idris: fix build by providing appropriate versions of the build inputs	2015-03-31 13:56:16 +02:00
games
misc
os-specific
servers
shells
stdenv
test
tools	gparted 0.21.0 -> 0.22.0	2015-03-31 13:54:42 +02:00
top-level	python-packages: gdrivefs 0.14.2 -> 0.14.3	2015-03-31 13:54:41 +02:00