[43112] trunk/dports/PortIndex

portindex at macports.org portindex at macports.org
Fri Dec 5 02:51:54 PST 2008


Revision: 43112
          http://trac.macports.org/changeset/43112
Author:   portindex at macports.org
Date:     2008-12-05 02:51:52 -0800 (Fri, 05 Dec 2008)
Log Message:
-----------

Total number of ports parsed:	5190 
Ports successfully parsed:	5190	 
Ports failed:			0

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2008-12-05 10:07:10 UTC (rev 43111)
+++ trunk/dports/PortIndex	2008-12-05 10:51:52 UTC (rev 43112)
@@ -4307,7 +4307,7 @@
 gts 448
 variants universal description {The GNU Triangulated Surface library} portdir math/gts homepage http://gts.sourceforge.net/ epoch 0 platforms darwin name gts long_description {GTS stands for the GNU Triangulated Surface Library. It is an Open Source Free Software Library intended to provide a set of useful functions to deal with 3D surfaces meshed with interconnected triangles.} maintainers nomaintainer categories math version 0.7.6 revision 0
 gunits 569
-variants universal portdir math/gunits description {Unit conversion and calculation} homepage http://www.gnu.org/software/units/ epoch 0 platforms darwin name gunits depends_lib {port:ncurses port:readline} maintainers nomaintainer long_description {GNU units converts quantities expressed in various scales to their equivalents in other scales. Units can only handle multiplicative scale changes. For example, it cannot convert Celsius to Fahrenheit but it can convert temperature differences between those temperature scales.} version 1.86 categories math revision 1
+variants universal portdir math/gunits description {Unit conversion and calculation} homepage http://www.gnu.org/software/units/ epoch 0 platforms darwin name gunits depends_lib {port:ncurses port:readline} maintainers nomaintainer long_description {GNU units converts quantities expressed in various scales to their equivalents in other scales. Units can only handle multiplicative scale changes. For example, it cannot convert Celsius to Fahrenheit but it can convert temperature differences between those temperature scales.} version 1.87 categories math revision 0
 isabelle 731
 variants universal portdir math/isabelle description {Isabelle is a popular generic theorem proving environment.} homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 platforms darwin name isabelle depends_lib port:polyml maintainers mww long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} version 2008 categories {math lang ml} revision 0
 isabelle-devel 797
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20081205/24b8ad60/attachment.html>


More information about the macports-changes mailing list