Mateusz Kowalczyk 9ee5b8d3fc agda-iowa-stdlib: mark as broken ... The recent update of Agda breaks this, including the most recent SVN checkout. I notified the author but marking as broken until a fix is committed.		2014-11-17 17:13:01 +00:00
..
applications	imapfilter: update from 2.5.6 to 2.5.7	2014-11-17 16:42:28 +00:00
build-support	nix-prefetch-git: allow dots in submodule names	2014-11-15 18:37:58 +00:00
data	Fixed many descriptions	2014-11-11 14:36:34 +01:00
desktops	Document the fact that GNOME 3.12 must use clutter 1.18	2014-11-17 15:15:19 +01:00
development	agda-iowa-stdlib: mark as broken	2014-11-17 17:13:01 +00:00
games	openra: 20140608 -> 20141029	2014-11-15 13:04:32 +01:00
misc	vim-plugins/YouCompleteMe: fix build	2014-11-16 17:27:13 +01:00
os-specific	kernel: 3.18-rc4 -> 3.18-rc5	2014-11-17 00:13:04 -08:00
servers	pgpool: Add derivation	2014-11-15 01:23:25 -08:00
shells
stdenv	Merge branch 'master' into staging	2014-11-14 14:28:23 +01:00
test
tools	Merge pull request #5011 from 4z3/urlwatch-1.17	2014-11-17 07:11:43 +00:00
top-level	Revert "clutter: update 1.18 -> 1.20. Shouldn't break anything"	2014-11-17 15:10:56 +01:00