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

[mmoll at macports.org]

Revision: 129205
          https://trac.macports.org/changeset/129205
Author:   mmoll at macports.org
Date:     2014-12-08 18:20:53 -0800 (Mon, 08 Dec 2014)
Log Message:
-----------
science/spot: update to version 1.2.6

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

Modified: trunk/dports/science/spot/Portfile
===================================================================
--- trunk/dports/science/spot/Portfile	2014-12-09 00:13:25 UTC (rev 129204)
+++ trunk/dports/science/spot/Portfile	2014-12-09 02:20:53 UTC (rev 129205)
@@ -1,7 +1,7 @@
 # $Id$
 PortSystem          1.0
 name                spot
-version             1.2.5
+version             1.2.6
 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     61d5f851d090573c485db588da16045e \
-                    sha1    3627cb9c8192453314a9e779f2c99024d7c03a8e \
-                    rmd160  6db4e4a94017414deefa9be3f17b0ac6f756d9de
+checksums           md5     799bf59ccdee646d12e00f0fe6c23902 \
+                    sha1    1c8ecad0930f44b5a95d2d8535293830a9e8df10 \
+                    rmd160  e971c4a6fd4b707457c25d60cef999e36d6fb2d5
 depends_lib-append  port:boost
 
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20141208/3737c8e5/attachment-0001.html>