[copr:copr.fedorainfracloud.org:mgrabovs:lean3-community] name=Copr repo for lean3-community owned by mgrabovs baseurl=https://download.copr.fedorainfracloud.org/results/mgrabovs/lean3-community/epel-8-$basearch/ type=rpm-md skip_if_unavailable=True gpgcheck=1 gpgkey=https://download.copr.fedorainfracloud.org/results/mgrabovs/lean3-community/pubkey.gpg repo_gpgcheck=0 enabled=1 enabled_metadata=1