Vincent Laporte 13dd5844fd coqPackages_8_11.coq: 8.11+β1 → 8.11.0		2020-01-31 14:09:51 +01:00
..
applications	coqPackages_8_11.coq: 8.11+β1 → 8.11.0	2020-01-31 14:09:51 +01:00
build-support	Merge pull request #78834 from nlewo/fix-two-layers-image	2020-01-30 21:10:52 +01:00
common-updater
data	yaru-theme: 19.10.4 -> 19.10.5	2020-01-30 22:03:51 -08:00
desktops	Merge pull request #78328 from mkg20001/pkg/cinnamon-control-center	2020-01-29 16:57:25 -05:00
development	coqPackages.tlc: disable for Coq > 8.10	2020-01-31 14:09:51 +01:00
games	ue4: use default llvm	2020-01-30 18:35:30 -05:00
misc	lightspark: 0.8.1 -> 0.8.2	2020-01-30 18:35:29 -05:00
os-specific	linux: 5.4.15 -> 5.4.16	2020-01-30 16:41:12 -05:00
servers	zabbix: 4.4.4 -> 4.4.5	2020-01-30 21:56:29 -08:00
shells	oh-my-zsh: 2020-01-04 -> 2020-01-30	2020-01-30 16:41:13 -05:00
stdenv	stdenv, darwin: fix setupHook location	2020-01-30 18:35:30 -05:00
test	llvm_4: remove	2020-01-30 18:35:31 -05:00
tools	Merge pull request #78824 from r-ryantm/auto-update/rsyslog	2020-01-31 06:26:34 -05:00
top-level	coqPackages_8_11.coq: 8.11+β1 → 8.11.0	2020-01-31 14:09:51 +01:00