Peter Simons 84cf3f3de7 Agda: drop obsolete version 2.3.2.2		2014-07-31 13:58:36 +02:00
..
applications	Merge pull request #3413 from svenkeidel/gtkpod	2014-07-31 13:26:37 +02:00
build-support	Filter out broken-completely links	2014-07-18 17:42:00 +04:00
data	source-han-sans: fixed package name	2014-07-30 16:27:20 +02:00
desktops	added meta information	2014-07-31 00:49:14 +02:00
development	Agda: drop obsolete version 2.3.2.2	2014-07-31 13:58:36 +02:00
games	Merge pull request #3357 from fignuts/df2014	2014-07-29 13:20:35 -05:00
misc	Revert "Remove obsolete jackaudio version 1."	2014-07-31 12:52:29 +02:00
os-specific	Revert "Remove obsolete jackaudio version 1."	2014-07-31 12:52:29 +02:00
servers	Revert "Remove obsolete jackaudio version 1."	2014-07-31 12:52:29 +02:00
shells	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
stdenv	Don't suggest using --arg config '{ allowUnfree = true; }'	2014-06-17 15:00:24 -05:00
test
tools	Merge pull request #3405 from wavewave/cadaver	2014-07-31 13:57:10 +02:00
top-level	Agda: drop obsolete version 2.3.2.2	2014-07-31 13:58:36 +02:00