Etienne Laurin 3d301e384e isabelle: 2016 -> 2016-1		2017-01-11 17:33:04 -05:00
..
applications	isabelle: 2016 -> 2016-1	2017-01-11 17:33:04 -05:00
build-support	Revert "releaseTools.debBuild: split checkinstall into separate phase"	2016-12-31 02:13:04 +04:00
data	nerdfonts: 0.8.0 -> 1.0.0	2016-12-29 11:21:57 +01:00
desktops	kde5.plasma: 5.8.4 -> 5.8.5	2016-12-28 06:43:10 -06:00
development	Merge pull request #21528 from veprbl/kak2	2016-12-30 22:36:53 -05:00
games	Merge pull request #21483 from rardiol/freeorion	2016-12-30 22:14:35 +00:00
misc	physlock: git-20150126 -> 0.5	2016-12-30 22:45:56 -05:00
os-specific	googleAuthenticator: 1.0 -> 1.03	2016-12-30 06:49:17 -05:00
servers	matrix-synapse: 0.18.5 -> 0.18.6-rc2	2016-12-30 12:42:22 -08:00
shells	zsh: 5.3 -> 5.3.1	2016-12-21 21:21:59 +01:00
stdenv	top-level: avoid another assert false while we're at it	2016-12-15 17:09:46 -05:00
test
tools	Merge pull request #21449 from namore/add_pkg_gorilla	2016-12-30 22:23:38 +00:00
top-level	Merge pull request #21528 from veprbl/kak2	2016-12-30 22:36:53 -05:00