Chris Ostrouchov 9080b2eadf minecraft-server: 1.12.2 -> 1.13.2 ... Update minecraft client to 1.13.2. The url is not as nice as before but it is the one provided by mojang. Adds 1_13_2, 1_13_1 as well. https://minecraft.net/en-us/download/server		2019-02-02 13:25:16 -05:00
..
applications	kdevelop: 5.2.4 -> 5.3.1, bump llvm version used from 3.8 to 7 (#55015)	2019-02-02 16:24:06 +01:00
build-support	cc-wrapper: set priority to 10	2019-01-31 20:07:55 -05:00
common-updater
data
desktops
development	python.pkgs.wcwidth: run tests	2019-02-02 17:40:40 +01:00
games	minecraft-server: 1.12.2 -> 1.13.2	2019-02-02 13:25:16 -05:00
misc	vimPlugins: update (#54889)	2019-01-29 20:55:52 +01:00
os-specific	Merge pull request #53425 from dtzWill/update/fwupd-1.2.3	2019-01-31 23:22:38 +01:00
servers	Merge pull request #53860 from marsam/update-pg_topn	2019-02-02 00:48:46 +02:00
shells
stdenv	Merge pull request #35884 from dtzWill/fix/man-in-outputsToInstall	2019-01-31 14:55:12 -05:00
test
tools	youtube-dl: 2019.01.17 -> 2019.01.30.1 (#55075)	2019-02-02 16:12:44 +01:00
top-level	minecraft-server: 1.12.2 -> 1.13.2	2019-02-02 13:25:16 -05:00