--- /dev/null
+[fedora]
+name=Fedora 12 - $basearch
+baseurl=@MIRRORURL@/fedora/releases/12/Everything/$basearch/os/
+enabled=1
+metadata_expire=7d
+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 12 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/12/$basearch/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora
+