Dmitry Kalinkin 7272491194 Merge pull request #72373 from jlesquembre/pulumi-fix ... pulumi: install providers and add update script		2019-11-06 11:32:33 -05:00
..
applications	Merge pull request #72771 from timokau/sage-fixes	2019-11-06 16:21:51 +01:00
build-support	nix-prefetch-github: Delete redundant source, build from python3Packages instead	2019-11-04 09:14:00 +01:00
common-updater
data	Merge pull request #72816 from marsam/update-comic-neue	2019-11-05 16:11:52 +00:00
desktops	Merge pull request #72853 from worldofpeace/glib-networking/gnome-boxes	2019-11-06 03:08:01 +00:00
development	opencv3: 3.4.7 -> 3.4.8 (security)	2019-11-06 13:20:15 +00:00
games	openxray: 510 -> 558	2019-11-04 08:54:02 -08:00
misc	Merge pull request #72566 from kolbycrouch/master	2019-11-04 10:41:13 -05:00
os-specific	android-udev-rules: 20190315 -> 20191103	2019-11-05 10:32:43 +00:00
servers	Merge pull request #72885 from Ma27/bump-matrix-synapse	2019-11-06 14:23:09 +01:00
shells	zsh-history-substring-search: 1.0.1 -> 1.0.2	2019-11-04 11:08:40 +00:00
stdenv	Revert "stdenv/check-meta: getEnv if the attribute is unset (#72376)" (#72752)	2019-11-03 20:38:35 -05:00
test
tools	Merge pull request #72373 from jlesquembre/pulumi-fix	2019-11-06 11:32:33 -05:00
top-level	Merge pull request #68954 from dguibert/dg/cudatoolkit_10_1	2019-11-06 08:58:30 +01:00