third_party/sandboxroot: fix base URL and bump
This only ever worked by accident.
Change-Id: Ic669081b8a4ad5f378d1e199b97674db4d0ec7a0
Reviewed-on: https://review.monogon.dev/c/monogon/+/1123
Reviewed-by: Lorenz Brun <lorenz@monogon.tech>
Tested-by: Leopold Schabel <leo@monogon.tech>
diff --git a/third_party/sandboxroot/repo.yaml b/third_party/sandboxroot/repo.yaml
index e353ccc..b726756 100644
--- a/third_party/sandboxroot/repo.yaml
+++ b/third_party/sandboxroot/repo.yaml
@@ -3,10 +3,10 @@
metalink: https://mirrors.fedoraproject.org/metalink?repo=fedora-37&arch=x86_64
name: 37-x86_64-primary-repo
mirrors:
- - https://ftp.fau.de/fedora/linux/development/37/Everything/x86_64/os
- - https://ftp.halifax.rwth-aachen.de/fedora/linux/development/37/Everything/x86_64/os
- - https://mirror.23m.com/fedora/linux/development/37/Everything/x86_64/os
- - https://ftp.plusline.net/fedora/linux/development/37/Everything/x86_64/os
+ - https://ftp.fau.de/fedora/linux/releases/37/Everything/x86_64/os
+ - https://ftp.halifax.rwth-aachen.de/fedora/linux/releases/37/Everything/x86_64/os
+ - https://mirror.23m.com/fedora/linux/releases/37/Everything/x86_64/os
+ - https://ftp.plusline.net/fedora/linux/releases/37/Everything/x86_64/os
gpgkey: https://storage.googleapis.com/monogon-infra-public/RPM-GPG-KEY-fedora-37-x86_64
- arch: x86_64
metalink: https://mirrors.fedoraproject.org/metalink?repo=updates-released-f37&arch=x86_64