[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