[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