Name                    Last modified      Size  Description
 tools/                  2022-05-20 11:10    -   development tools
 sources/                2022-04-25 18:49    -   source archives
 rpm/                    2022-04-25 18:49    -   yum/zypper repositories
 apt/                    2022-04-25 18:49    -   apt repositories
 plugins/                2022-02-03 03:29    -   plugins packages
 misc/                   2021-05-31 16:54    -   other repositories
 build-dependencies/     2021-04-29 14:24    -   mirror of build dependencies
 maven/                  2018-12-27 10:30    -   maven artifact repository