[98387] trunk/dports/math/picosat/Portfile

[mww at macports.org]

Revision: 98387
          http://trac.macports.org//changeset/98387
Author:   mww at macports.org
Date:     2012-10-04 04:57:03 -0700 (Thu, 04 Oct 2012)
Log Message:
-----------
picosat: version 953

Modified Paths:
--------------
    trunk/dports/math/picosat/Portfile

Modified: trunk/dports/math/picosat/Portfile
===================================================================
--- 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
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20121004/99c69a91/attachment-0001.html>