From 946b2906146edc8cf22e71b9f44262afd349f156 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 10 Jun 2009 06:28:27 +0000
Subject: [PATCH] f11-ready

---
 mirroring/f11/yum.repos.d/building.repo.in | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 mirroring/f11/yum.repos.d/building.repo.in

diff --git a/mirroring/f11/yum.repos.d/building.repo.in b/mirroring/f11/yum.repos.d/building.repo.in
new file mode 100644
index 00000000..9ccd8399
--- /dev/null
+++ b/mirroring/f11/yum.repos.d/building.repo.in
@@ -0,0 +1,15 @@
+[fedora]
+name=Fedora 11 - $basearch
+baseurl=@MIRRORURL@/fedora/releases/11/Everything/$basearch/os/
+enabled=1
+gpgcheck=0
+# where can we get this key ?
+#gpgkey=http://redhat.download.fedoraproject.org/pub/fedora/linux/releases/8/Everything/$basearch/os/RPM-GPG-KEY-fedora
+
+[updates]
+name=Fedora 11 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/11/$basearch/
+enabled=1
+gpgcheck=1
+gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora
+
-- 
2.47.0