missing devel pkg

diff --git a/devel.pkgs b/devel.pkgs
index 7aa2ff4..e11e9cc 100644 (file)
--- a/devel.pkgs
+++ b/devel.pkgs
@@ -74,6 +74,7 @@ package: postgresql postgresql-devel postgresql-python postgresql-server
 # if we don't specify @arch@ for php-devel, we end up with the 2 variants (i386 and x86_64)
 # in an undetermined order, and php-config --extension-dir might return the wrong place
 package: php php-devel.@arch@ php-gd php-pgsql 
+package>=f12: php-devel
 package: PyXML 
 # used to reference SOAPpy as well
 # for pypcilib