diff --git a/system/devel/ppl/pspec.xml b/system/devel/ppl/pspec.xml
index fd116be1..363e1bb4 100644
--- a/system/devel/ppl/pspec.xml
+++ b/system/devel/ppl/pspec.xml
@@ -13,7 +13,7 @@
         <IsA>library</IsA>
         <Summary>Pharma Polyhedra library</Summary>
         <Description>ppl is the Parma Polyhedra Library that provides numerical abstractions for analysis of complex systems.</Description>
-        <Archive sha1sum="d24a9e95c22459b396820109c9bc195f35e60640" type="tarxz">http://bugseng.com/external/ppl/download/ftp/releases/1.1/ppl-1.1.tar.xz</Archive>
+        <Archive sha1sum="56c3e4cf3be90e11dfdd877b449adedc26cd8ec9" type="tarxz">http://bugseng.com/external/ppl/download/ftp/releases/1.2/ppl-1.2.tar.xz</Archive>
         <BuildDependencies>
             <!-- gmp with cxx support is needed -->
             <Dependency>gmp-devel</Dependency>
@@ -57,6 +57,7 @@
         <RuntimeDependencies>
             <Dependency release="current">ppl</Dependency>
             <Dependency>gmp-devel</Dependency>
+            <Dependency>libgcc</Dependency>
         </RuntimeDependencies>
         <Files>
             <Path fileType="executable">/usr/bin/ppl-config</Path>
@@ -67,6 +68,13 @@
     </Package>
 
     <History>
+        <Update release="8">
+            <Date>2016-03-13</Date>
+            <Version>1.2</Version>
+            <Comment>Version bump.</Comment>
+            <Name>Alihan Öztürk</Name>
+            <Email>alihan@pisilinux.org</Email>
+        </Update>
         <Update release="7">
             <Date>2014-09-06</Date>
             <Version>1.1</Version>