Revision: 98387 http://trac.macports.org//changeset/98387 Author: mww@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