[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