Name                    Last modified      Size  Description
 tools/                  2020-09-18 10:12    -   development tools
 sources/                2020-09-16 20:02    -   source archives
 rpm/                    2020-09-16 20:02    -   yum/zypper repositories
 apt/                    2020-09-16 20:00    -   apt repositories
 build-dependencies/     2020-07-09 16:29    -   mirror of build dependencies
 misc/                   2020-02-28 10:56    -   other repositories
 maven/                  2018-12-27 10:30    -   maven artifact repository