From 1ddaa273f4d3fd0c066ab1b1f002fbd575735923 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 7 Dec 2010 10:02:47 +0100
Subject: [PATCH] add binutils-devel to f12 as well for building k32

---
 config.planetlab/devel.pkgs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index 069d81af..85bbec10 100644
--- a/config.planetlab/devel.pkgs
+++ b/config.planetlab/devel.pkgs
@@ -51,7 +51,7 @@ package: wget
 package: beecrypt-devel 
 package: tetex-latex
 package: gcc-c++ 
-package>=f14: binutils-devel
+package>=f12: binutils-devel
 # iptables
 package: linuxdoc-tools 
 package: sudo 
-- 
2.47.0