From 0bc86f18fbb22661b6cdcdc9a2ae9e7011fdc208 Mon Sep 17 00:00:00 2001
From: =?utf8?q?S=2E=C3=87a=C4=9Flar=20Onur?= <caglar@cs.princeton.edu>
Date: Fri, 17 Dec 2010 13:13:23 -0500
Subject: [PATCH] install binutils-devel in any case

---
 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 85bbec10..bd584892 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>=f12: binutils-devel
+package: binutils-devel
 # iptables
 package: linuxdoc-tools 
 package: sudo 
-- 
2.43.0