[opensuse42.3prod]
name=opensuse/42.3/prod
enabled=1
baseurl=https://packages.microsoft.com/opensuse/42.3/prod/
gpgcheck=1
repo_gpgcheck=1
gpgkey=https://packages.microsoft.com/opensuse/42.3/prod/repodata/repomd.xml.key