[copr:copr.fedorainfracloud.org:petersen:cabal-install-3.10] name=Copr repo for cabal-install-3.10 owned by petersen baseurl=https://download.copr.fedorainfracloud.org/results/petersen/cabal-install-3.10/fedora-$releasever-$basearch/ type=rpm-md skip_if_unavailable=True gpgcheck=1 gpgkey=https://download.copr.fedorainfracloud.org/results/petersen/cabal-install-3.10/pubkey.gpg repo_gpgcheck=0 enabled=1 enabled_metadata=1