[67529] trunk/dports/PortIndex

portindex at macports.org portindex at macports.org
Tue May 11 16:47:56 PDT 2010


Revision: 67529
          http://trac.macports.org/changeset/67529
Author:   portindex at macports.org
Date:     2010-05-11 16:47:54 -0700 (Tue, 11 May 2010)
Log Message:
-----------
Total number of ports parsed:	1 
Ports successfully parsed:	1 
Ports failed:			0 
Up-to-date ports skipped:	6868

Modified Paths:
--------------
    trunk/dports/PortIndex

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2010-05-11 22:54:37 UTC (rev 67528)
+++ trunk/dports/PortIndex	2010-05-11 23:47:54 UTC (rev 67529)
@@ -2281,7 +2281,7 @@
 spatialindex 575
 variants universal portdir devel/spatialindex description {spatialindex provides a general framework for developing spatial indices.} homepage http://trac.gispython.org/spatialindex epoch 0 platforms darwin name spatialindex long_description {{spatialindex provides a general framework for developing spatial indices.} Currently it defines generic interfaces, provides simple main memory and disk based storage managers and a robust implementation of an R*-tree, an MVR-tree and a TPR-tree.} license LGPL maintainers mnick categories {devel science} version 1.5.0 revision 0
 spin 384
-portdir devel/spin description {The Spin model checker} homepage http://spinroot.com epoch 0 platforms darwin name spin depends_lib {port:tk port:tcl} license unknown maintainers jann long_description {SPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.} categories devel version 5.2.2 revision 0
+portdir devel/spin description {The Spin model checker} homepage http://spinroot.com epoch 0 platforms darwin name spin depends_lib {port:tk port:tcl} license unknown maintainers jann long_description {SPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.} categories devel version 5.2.5 revision 0
 splint 539
 variants universal portdir devel/splint description {Secure Programming Lint} homepage http://splint.org/ epoch 0 platforms darwin name splint long_description {Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.} license unknown maintainers waqar categories devel version 3.1.2 revision 0
 spread 405
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20100511/6bd16acd/attachment.html>


More information about the macports-changes mailing list