Pascal Wittmann 89dfe67f81 Merge pull request #21819 from AtnNn/isabelle ... isabelle: 2016 -> 2016-1		2017-01-13 21:58:57 +01:00
..
applications	Merge pull request #21819 from AtnNn/isabelle	2017-01-13 21:58:57 +01:00
build-support	fetchurl: change to grep -E to fix #8561	2017-01-13 19:07:07 +01:00
data	man-pages: 4.08 -> 4.09	2017-01-12 19:16:54 +01:00
desktops	geary: 0.11.2 -> 0.11.3	2017-01-10 21:45:21 -05:00
development	Merge pull request #21846 from peterhoeg/f/nim	2017-01-13 17:49:25 +00:00
games	minecraft-server: 1.11.1 -> 1.11.2	2017-01-11 20:18:38 -05:00
misc	vimPlugins: add delimitMate	2017-01-10 11:51:03 -08:00
os-specific	Merge pull request #21816 from NeQuissimus/linux_4_8_removal	2017-01-12 10:22:29 +01:00
servers	prometheus-cli: remove due to pkg being obsolete	2017-01-13 14:24:35 +01:00
shells	zsh-autosuggestions: init at 0.3.3 (#21792)	2017-01-11 07:00:48 +01:00
stdenv	stdenv/booter.nix: Add longer note explaining indexing	2017-01-13 13:47:17 -05:00
test	Remove cruft	2016-04-26 17:31:54 +02:00
tools	Merge pull request #21836 from kierdavis/ckb	2017-01-13 21:44:21 +01:00
top-level	Merge pull request #21836 from kierdavis/ckb	2017-01-13 21:44:21 +01:00