[55410] trunk/dports/PortIndex

[portindex at macports.org]

Revision: 55410
          http://trac.macports.org/changeset/55410
Author:   portindex at macports.org
Date:     2009-08-10 03:53:48 -0700 (Mon, 10 Aug 2009)
Log Message:
-----------

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

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2009-08-10 10:26:20 UTC (rev 55409)
+++ trunk/dports/PortIndex	2009-08-10 10:53:48 UTC (rev 55410)
@@ -4717,7 +4717,7 @@
 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 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.} maintainers mww categories {math lang ml} version 2009 revision 0
 isabelle-devel 797
-variants universal portdir math/isabelle-devel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelle-devel depends_lib port:polyml 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. This version is a development snapshot of the upcoming 2008 release.} maintainers mww categories {math lang ml} version 2009-08-07 revision 0
+variants universal portdir math/isabelle-devel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelle-devel depends_lib port:polyml 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. This version is a development snapshot of the upcoming 2008 release.} maintainers mww categories {math lang ml} version 2009-08-10 revision 0
 itl 720
 variants universal portdir math/itl description {Iterative Template Library (based on MTL)} homepage http://www.osl.iu.edu/research/itl/ epoch 0 platforms darwin name itl depends_lib {port:blitz port:mtl} long_description {The Iterative Template Library (ITL) is a generic component library that provides iterative methods for solving linear systems. ITL also provides numerious preconditioners which is for MTL. ITL uses the abstract interface of matrix-vector, vector-vector, and vector-scalor operations MTL is default to serve those operations. ITL is able to use other packages such as Blitz++ and BLAS with the same abstract interface provided.} maintainers nomaintainer categories math version 4.0.0-1 revision 0
 k3dsurf 474
@@ -4749,7 +4749,7 @@
 mapm 459
 portdir math/mapm description {A Portable Arbitrary Precision Math Library in C.} homepage http://www.tc.umn.edu/~ringx004/mapm-main.html epoch 0 platforms darwin name mapm maintainers {jmpp openmaintainer} long_description {MAPM is a set of functions that allow the user to perform math to any level of accuracy that is desired. The precision of a number is only limited by 'INT_MAX' and available memory.} version 4.9.5 categories {math science} revision 1
 mathomatic 483
-variants universal portdir math/mathomatic description {small, portable symbolic math program} homepage http://mathomatic.orgserve.de/math/ epoch 0 platforms darwin name mathomatic depends_lib port:readline long_description {Mathomatic is a small, portable symbolic math program that can automatically solve, simplify, differentiate, combine, and compare algebraic equations, perform polynomial and complex arithmetic, etc.} maintainers mww categories math version 14.5.2 revision 0
+variants universal portdir math/mathomatic description {small, portable symbolic math program} homepage http://mathomatic.orgserve.de/math/ epoch 0 platforms darwin name mathomatic depends_lib port:readline long_description {Mathomatic is a small, portable symbolic math program that can automatically solve, simplify, differentiate, combine, and compare algebraic equations, perform polynomial and complex arithmetic, etc.} maintainers mww categories math version 14.5.3 revision 0
 maxima 731
 variants {clisp printable_doc universal} portdir math/maxima description {The Maxima computer algebra system} homepage http://maxima.sourceforge.net/ depends_run {port:tk port:recode port:gnuplot} epoch 0 platforms darwin name maxima depends_lib port:sbcl long_description {The Maxima computer algebra system is a descendant of DOE Macsyma, a version of MIT's Macsyma whose development was supported by the U.S. Department of Energy. Through the effort of the late William Shelter of the University of Texas, it was released under the GNU General Public License. It is one of the more comprehensive and powerful computer algebra systems available as open source.} maintainers nomaintainer categories math version 5.18.1 revision 0
 metis 612
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090810/e118d7a4/attachment.html>