2020-07-17 Debian DEBs and RPMs on OpenSUSE build service