Name                    Last modified      Size  Description
 tools/                  2019-11-18 15:23    -   development tools
 sources/                2019-11-05 14:22    -   source archives
 rpm/                    2019-11-05 14:22    -   yum/zypper repositories
 apt/                    2019-11-05 14:21    -   apt repositories
 misc/                   2019-09-23 16:27    -   other repositories
 build-dependencies/     2019-06-04 10:09    -   mirror of build dependencies
 maven/                  2018-12-27 10:30    -   maven artifact repository