José Romildo Malaquias 54b7ad9e71 Merge pull request #87764 from romildo/upd.arc-theme ...

arc-theme: 20200416 -> 20200513

2020-05-14 19:43:06 -03:00

..

applications

Merge pull request #87777 from romildo/upd.balsa

2020-05-14 19:37:47 -03:00

build-support

Merge pull request #76653 from alexarice/agda-rework

2020-05-14 18:02:50 -04:00

common-updater

…

data

Merge pull request #87764 from romildo/upd.arc-theme

2020-05-14 19:43:06 -03:00

desktops

Merge pull request #87757 from romildo/upd.efl

2020-05-14 19:41:28 -03:00

development

Merge pull request #76653 from alexarice/agda-rework

2020-05-14 18:02:50 -04:00

games

Merge pull request #84209 from prusnak/freeciv

2020-05-10 23:11:07 +02:00

misc

Merge master into staging-next

2020-05-11 09:19:26 +02:00

os-specific

linux: 5.6.12 -> 5.6.13

2020-05-14 09:19:09 -04:00

servers

mariadb: 10.3.22 -> 10.4.12

2020-05-14 17:29:40 +03:00

shells

go-modules: Update files to use vendorSha256

2020-05-14 07:22:21 +01:00

stdenv

…

test

…

tools

Merge pull request #87840 from Frostman/starship-0.41.1

2020-05-14 23:26:36 +02:00

top-level

Merge pull request #76653 from alexarice/agda-rework

2020-05-14 18:02:50 -04:00