[47240] trunk/dports/PortIndex
portindex at macports.org
portindex at macports.org
Mon Feb 23 17:52:05 PST 2009
Revision: 47240
http://trac.macports.org/changeset/47240
Author: portindex at macports.org
Date: 2009-02-23 17:52:05 -0800 (Mon, 23 Feb 2009)
Log Message:
-----------
Total number of ports parsed: 5572
Ports successfully parsed: 5572
Ports failed: 0
Modified Paths:
--------------
trunk/dports/PortIndex
Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex 2009-02-24 01:48:57 UTC (rev 47239)
+++ trunk/dports/PortIndex 2009-02-24 01:52:05 UTC (rev 47240)
@@ -1817,7 +1817,7 @@
spin 381
description {The Spin model checker} portdir devel/spin homepage http://spinroot.com epoch 0 platforms darwin name spin depends_lib {port:tk port:tcl} maintainers jann at macports.org long_description {SPIN is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.} version 5.1.6 categories devel revision 0
splint 596
-variants universal variant_desc {universal {Build for multiple architectures}} portdir devel/splint description {Secure Programming Lint} homepage http://splint.org/ epoch 0 platforms darwin name splint maintainers waqar at macports.org 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.} version 3.1.1 categories devel revision 0
+variants universal variant_desc {universal {Build for multiple architectures}} portdir devel/splint description {Secure Programming Lint} homepage http://splint.org/ epoch 0 platforms darwin name splint maintainers waqar at macports.org 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.} version 3.1.2 categories devel revision 0
spread 445
variants universal variant_desc {universal {Build for multiple architectures}} portdir devel/spread description {configurable logging for C++} homepage http://www.spread.org/ epoch 0 platforms darwin name spread maintainers stechert at macports.org long_description {Spread is a toolkit that provides a high performance messaging service that is resilient to faults across external or internal networks.} version 3.17.3 categories devel revision 0
srecord 1257
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090223/dc7266ed/attachment.html>
More information about the macports-changes
mailing list