Gabriel Ebner 375ee0acfd Merge pull request #84852 from marsam/update-lean ... lean: 3.7.2 -> 3.8.0		2020-04-10 08:56:02 +02:00
..
applications	Merge pull request #84852 from marsam/update-lean	2020-04-10 08:56:02 +02:00
build-support
common-updater
data	fira-code: 2 -> 3	2020-04-09 23:48:52 +02:00
desktops
development	just: 0.4.5 -> 0.5.10	2020-04-10 12:57:05 +08:00
games
misc
os-specific
servers
shells
stdenv
test
tools	croc: 8.0.5 -> 8.0.7	2020-04-10 09:36:46 +10:00
top-level	Merge pull request #84830 from deshaw/contrib/perl-convertuu	2020-04-09 19:00:55 -04:00