[124965] trunk/dports/science/spot/Portfile

[mmoll at macports.org]

Revision: 124965
          https://trac.macports.org/changeset/124965
Author:   mmoll at macports.org
Date:     2014-09-01 09:11:47 -0700 (Mon, 01 Sep 2014)
Log Message:
-----------
science/spot: update to version 1.2.5

Modified Paths:
--------------
    trunk/dports/science/spot/Portfile

Modified: trunk/dports/science/spot/Portfile
===================================================================
--- trunk/dports/science/spot/Portfile	2014-09-01 15:47:44 UTC (rev 124964)
+++ trunk/dports/science/spot/Portfile	2014-09-01 16:11:47 UTC (rev 124965)
@@ -1,7 +1,7 @@
 # $Id$
 PortSystem          1.0
 name                spot
-version             1.2.4
+version             1.2.5
 categories          science math
 maintainers         mmoll openmaintainer
 description         Spot is an object-oriented model checking library written in C++.
@@ -10,9 +10,9 @@
 platforms           darwin
 license             GPL-3
 master_sites        http://spot.lip6.fr/dl/
-checksums           md5     090149cb076b6984be4633c1e57cd513 \
-                    sha1    fc91819dbb4e331cbb942075d041595910bc1351 \
-                    rmd160  932ea3e520a1705fdfc57b987c996fe2a28bca28
+checksums           md5     61d5f851d090573c485db588da16045e \
+                    sha1    3627cb9c8192453314a9e779f2c99024d7c03a8e \
+                    rmd160  6db4e4a94017414deefa9be3f17b0ac6f756d9de
 depends_lib-append  port:boost
 
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20140901/4c6228f0/attachment.html>