Phreedom b0f52e08dc Merge pull request #485 from maggesi/proofgeneral_updates ... ProofGeneral: Workaround for bug #458		2013-05-05 07:18:05 -07:00
..
applications	Merge pull request #485 from maggesi/proofgeneral_updates	2013-05-05 07:18:05 -07:00
build-support	Add Ubuntu 13.04	2013-05-03 14:01:32 +02:00
data
desktops
development	binutils_gold: Don't require unneded dependencies.	2013-05-04 18:05:45 -04:00
games	vdrift: Remove from the channel	2013-05-02 13:26:15 +02:00
lib	overrideDerivation: Re-attatch passthru and meta to all outputs	2013-05-03 09:12:55 -04:00
misc
os-specific	Merge pull request #381 from ierton/bluez5	2013-05-03 10:54:39 -07:00
servers	jboss: Update to 7.1.1.Final	2013-05-01 11:22:37 -04:00
shells
stdenv	mkDerivation: Allow direct access to passthru	2013-05-03 09:07:42 -04:00
test
tools	fix autojump licence attribute	2013-05-05 12:46:23 +02:00
top-level	spyder: new package	2013-05-05 13:13:45 +02:00