From 9c9358fae57841ea5188acd03dd5530bfb7a231f Mon Sep 17 00:00:00 2001
From: Mark Brand <mabrand@mabrand.nl>
Date: Wed, 19 Dec 2012 13:58:15 +0100
Subject: [PATCH] update package gcc-gmp

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 93f4c300..fb904782 100644
--- a/index.html
+++ b/index.html
@@ -1123,7 +1123,7 @@ USE_OSGPLUGIN(&lt;plugin2&gt;)
     </tr>
     <tr>
         <td id="gcc-gmp-package">gcc-gmp</td>
-        <td id="gcc-gmp-version">5.0.5</td>
+        <td id="gcc-gmp-version">5.1.0</td>
         <td id="gcc-gmp-website"><a href="http://www.gmplib.org/">GMP for GCC</a></td>
     </tr>
     <tr>