package not available at repository

[oawd]

On a Fedora Atomic Desktop one installs packages from a repository, which one can add with a .repo file.
I added this repository to the package manager: https://packages.microsoft.com/config/fedora/41/prod.repo.
But the package procmon was not available at this repository.

Is ProcMon-for-Linux available in the Production Ring for Fedora 41 on the architecture x86_64 ?