[fedora40prod]
name=fedora/40/prod
baseurl=https://packages.microsoft.com/fedora/40/prod/
gpgcheck=1
repo_gpgcheck=1
enabled=1
gpgkey=https://packages.microsoft.com/fedora/40/prod/repodata/repomd.xml.key