[rhel9_baseos]
name = Red Hat Enterprise Linux 9 - BaseOS
baseurl = https://repos.psi.ch/rhel9/tags/rhel-9/rhel-9-for-x86_64-baseos-rpms/
gpgkey = file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release
gpgcheck = 1
enabled = 1

[rhel9_appstream]
name = Red Hat Enterprise Linux 9 - AppStream
baseurl = https://repos.psi.ch/rhel9/tags/rhel-9/rhel-9-for-x86_64-appstream-rpms/
gpgkey = file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release
gpgcheck = 1
enabled = 1

[rhel9_codeready]
name = Red Hat CodeReady Linux Builder for RHEL 9 x86_64
baseurl = https://repos.psi.ch/rhel9/tags/rhel-9/codeready-builder-for-rhel-9-x86_64-rpms/
gpgkey = file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release
gpgcheck = 1
enabled = 1

[epel]
name = Extra Packages for Enterprise Linux 9
baseurl = https://repos.psi.ch/rhel9/tags/rhel-9/epel/
gpgkey = https://repos.psi.ch/rhel9/tags/rhel-9/keys/epel.gpg
gpgcheck = 1
enabled = 1

[pli-misc]
name = PSI Miscellaneous
baseurl = https://repos.psi.ch/rhel9/tags/rhel-9/pli-misc/
gpgcheck = 0
enabled = 1