John Wiegley d4c3e454a2 coq_HEAD: update to latest commit		2014-11-03 15:27:32 -06:00
..
applications	coq_HEAD: update to latest commit	2014-11-03 15:27:32 -06:00
build-support	nix-prefetch-git: fix determinism with leaveDotGit	2014-11-02 13:15:33 +01:00
data	Merge pull request #4674 from balajisivaraman/meslo-lg	2014-10-29 16:34:25 +00:00
desktops	ristretto: wrap icon theme	2014-11-03 20:02:41 +00:00
development	threadscope: allow building with GHC 7.8.3, and on recent OS X	2014-11-03 15:27:31 -06:00
games	steam: update 1.0.0.48 -> 1.0.0.49	2014-11-03 20:00:49 +03:00
misc	Update Wine-unstable	2014-11-02 23:51:58 +03:00
os-specific	Merge pull request #4770 from titanous/linux-testing	2014-11-03 20:18:12 +01:00
servers	mpd: 0.19.1 -> 0.19.2	2014-11-03 17:14:38 +00:00
shells
stdenv
test
tools	Update monit	2014-11-03 16:54:38 +03:00
top-level	threadscope: allow building with GHC 7.8.3, and on recent OS X	2014-11-03 15:27:31 -06:00