diff index.html @ 3270:7ecd056f09a6

Update glpk to 4.52.1 * index.html: update glpk-version to 5.52.1 * src/glpk.ml: update checksum. * src/glpk-1-fixes.patch: update for latest sources.
author John Donoghue <john.donoghue@ieee.org>
date Thu, 17 Oct 2013 20:07:27 -0400
parents 73f492e59b3f
children e7cb2340feff
line wrap: on
line diff
--- a/index.html	Fri Oct 18 18:03:15 2013 -0400
+++ b/index.html	Thu Oct 17 20:07:27 2013 -0400
@@ -1278,7 +1278,7 @@
     </tr>
     <tr>
         <td id="glpk-package">glpk</td>
-        <td id="glpk-version">4.47</td>
+        <td id="glpk-version">4.52.1<td>
         <td id="glpk-website"><a href="http://www.gnu.org/software/glpk/">GLPK</a></td>
     </tr>
     <tr>