Fix repo location

Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>
This commit is contained in:
David Abdurachmanov 2024-12-02 15:04:03 +02:00
parent 886e78943e
commit fcd4b7670c
Signed by: davidlt
GPG Key ID: 7A5F42FAF91FACC3

View File

@ -336,7 +336,7 @@ EOF
cat << EOF > /etc/yum.repos.d/fedora-riscv-koji.repo
[fedora-riscv-koji]
name=Fedora RISC-V Koji
baseurl=http://fedora.riscv.rocks/repos/f41-staging/latest/riscv64/
baseurl=http://fedora.riscv.rocks/repos-dist/f41-staging/latest/riscv64/
enabled=0
gpgcheck=0
EOF