Valentin Robert b76193a336 coqPackages.coq-extensible-records: support for coq 8.9 and 8.10		2019-10-29 12:42:22 +00:00
..
applications	virt-top: 2017-11-18-unstable -> 1.0.9	2019-10-29 13:10:29 +01:00
build-support
common-updater
data
desktops	Merge pull request #71614 from worldofpeace/deepin-kwin	2019-10-29 00:46:29 +00:00
development	coqPackages.coq-extensible-records: support for coq 8.9 and 8.10	2019-10-29 12:42:22 +00:00
games
misc	Merge pull request #71482 from eadwu/vscode-extensions/update-2	2019-10-29 05:57:43 -05:00
os-specific	skawarePackages: bump to release 2019-10	2019-10-28 21:30:30 +01:00
servers	nats-server: rename (from gnatsd), 1.4.0 -> 2.1.0	2019-10-28 21:50:14 -05:00
shells	xonsh: 0.9.11 -> 0.9.13	2019-10-28 23:53:58 +01:00
stdenv
test
tools	youtube-dl: 2019.10.22 -> 2019.10.29	2019-10-29 02:44:02 -07:00
top-level	virtmanager{,-qt}: rename to virt-manager{,-qt}	2019-10-29 13:34:54 +01:00