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

[mww at macports.org]

Revision: 106719
          https://trac.macports.org/changeset/106719
Author:   mww at macports.org
Date:     2013-06-06 00:24:34 -0700 (Thu, 06 Jun 2013)
Log Message:
-----------
picosat: version 957

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

Modified: trunk/dports/math/picosat/Portfile
===================================================================
--- trunk/dports/math/picosat/Portfile	2013-06-06 07:05:58 UTC (rev 106718)
+++ trunk/dports/math/picosat/Portfile	2013-06-06 07:24:34 UTC (rev 106719)
@@ -4,7 +4,7 @@
 PortSystem          1.0
 
 name                picosat
-version             954
+version             957
 categories          math science
 platforms           darwin
 maintainers         mww openmaintainer
@@ -14,8 +14,8 @@
 homepage            http://fmv.jku.at/picosat/
 master_sites        ${homepage}
 
-checksums           rmd160  9adce45ceee19ef7d324665632341462096de1cf \
-                    sha256  1d42116957b82cd69d10b6a8d6b4a55f6e9b8678ac654c74d2ce2b649f82c67c
+checksums           rmd160  0f0c5cb7960b3f0d1719fd5194349dc96ac72f99 \
+                    sha256  7efa0149f297971328324b90cee349223e3c9c9aab6f6e306caae2553a169822
 
 installs_libs       yes
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20130606/d546504a/attachment.html>