Modified: trunk/dports/math/gringo/Portfile (132556 => 132557)

--- trunk/dports/math/gringo/Portfile	2015-02-04 20:02:23 UTC (rev 132556)
+++ trunk/dports/math/gringo/Portfile	2015-02-04 20:08:06 UTC (rev 132557)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name                gringo
-version             4.2.1
+version             4.4.0
 categories          math devel
 platforms           darwin
 maintainers         mww openmaintainer
@@ -19,8 +19,8 @@
 
 distname            ${name}-${version}-source
 
-checksums           rmd160  7b0b116f7485edd0e199707425c0ffaabd94681d \
-                    sha256  24da7958ca6c4f41a3df43ca786059926057289d5f01bfd22e6d9483977c0581
+checksums           rmd160  4619eb5814a54bd8f25b1d824ebf35a5c165d905 \
+                    sha256  49b2ddc78f568a12530c780a29bb7f57b656556f0840c5e9ada4f207913dde5e
 
 depends_build       port:scons port:re2c port:bison
 depends_lib         port:boost