Modified: trunk/dports/math/picosat/Portfile (98386 => 98387)

--- trunk/dports/math/picosat/Portfile	2012-10-04 06:16:02 UTC (rev 98386)
+++ trunk/dports/math/picosat/Portfile	2012-10-04 11:57:03 UTC (rev 98387)
@@ -4,7 +4,7 @@
 PortSystem          1.0
 
 name                picosat
-version             951
+version             953
 categories          math science
 platforms           darwin
 maintainers         mww openmaintainer
@@ -14,8 +14,8 @@
 homepage            http://fmv.jku.at/picosat/
 master_sites        ${homepage}
 
-checksums           rmd160  2f562778beddd92d1bc35b74e13704eeb62cb51d \
-                    sha256  4e9c10ae6798a50228a9266e16a5f76a9bab57fc93afbf484c02894b11ab3413
+checksums           rmd160  2c2cbb66a795fbc47eed7bba357a000bce6fcd12 \
+                    sha256  bf26f7f3b10ef196ebd9b4a8c944c58fa9d76fd937b3b2cf1468c365231a02bb
 
 installs_libs       yes