Gabriel Ebner aa37dc8aeb Merge pull request #94389 from r-ryantm/auto-update/eprover ... eprover: 2.4 -> 2.5		2020-08-01 11:12:37 +02:00
..
applications	Merge pull request #94389 from r-ryantm/auto-update/eprover	2020-08-01 11:12:37 +02:00
build-support	nixos/tests/dockerTools: add test for running non-root containers with buildLayeredImage	2020-07-31 10:14:07 +02:00
common-updater
data	Merge pull request #93232 from ShamrockLee/edukai	2020-08-01 03:39:27 +02:00
desktops	gnomeExtensions.gsconnect: 38 -> 39	2020-07-31 10:46:50 +02:00
development	Merge pull request #94105 from ddelabru/add-inform6	2020-08-01 09:07:45 +01:00
games	shattered-pixel-dungeon: 0.8.1 -> 0.8.1a	2020-07-31 09:28:41 +00:00
misc	Merge pull request #94203 from Artturin/add-autotiling	2020-07-31 20:41:42 -07:00
os-specific	Merge pull request #93430 from symphorien/io-latency	2020-07-31 21:05:37 +02:00
servers	dolt: 0.18.0 -> 0.18.1 (#94393)	2020-08-01 00:02:30 -07:00
shells	oh-my-zsh: 2020-07-23 -> 2020-07-30	2020-07-31 09:06:33 -04:00
stdenv
test
tools	Merge pull request #94394 from r-ryantm/auto-update/emplace	2020-08-01 11:16:33 +03:00
top-level	Merge pull request #89192 from raboof/init-puredata-gem-plugin-at-2020-03-26	2020-08-01 11:07:41 +02:00