[54917] trunk/dports/PortIndex

[portindex at macports.org]

Revision: 54917
          http://trac.macports.org/changeset/54917
Author:   portindex at macports.org
Date:     2009-08-04 09:53:26 -0700 (Tue, 04 Aug 2009)
Log Message:
-----------

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

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2009-08-04 16:35:40 UTC (rev 54916)
+++ trunk/dports/PortIndex	2009-08-04 16:53:26 UTC (rev 54917)
@@ -4693,7 +4693,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-07-23 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-07-31 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
@@ -8355,7 +8355,7 @@
 py25-llvm 316
 portdir python/py25-llvm description {Python bindings for LLVM} homepage http://mdevan.nfshost.com/llvm-py/index.html epoch 0 platforms darwin depends_lib {port:python25 port:llvm} name py25-llvm maintainers {snc openmaintainer} long_description {{Python bindings for LLVM}} version 0.5 categories python revision 0
 py25-logilab-astng 579
-portdir python/py25-logilab-astng description {Python Abstract Syntax Tree New Generation} homepage http://www.logilab.org/project/logilab-astng epoch 0 platforms darwin depends_lib {port:python25 port:py25-logilab-common} name py25-logilab-astng maintainers {stechert openmaintainer} long_description {The aim of this module is to provide a common base representation of python source code for projects such as pychecker, pyreverse, pylint... Well, actually the development of this library is essentially governed by pylint's needs.} version 0.17.4 categories python revision 0
+portdir python/py25-logilab-astng description {Python Abstract Syntax Tree New Generation} homepage http://www.logilab.org/project/logilab-astng epoch 0 platforms darwin depends_lib {port:python25 port:py25-logilab-common} name py25-logilab-astng maintainers {stechert openmaintainer} long_description {The aim of this module is to provide a common base representation of python source code for projects such as pychecker, pyreverse, pylint... Well, actually the development of this library is essentially governed by pylint's needs.} version 0.19.0 categories python revision 0
 py25-logilab-common 399
 portdir python/py25-logilab-common description {A number of modules used by various projects from Logilab} homepage http://www.logilab.org/project/logilab-common epoch 0 platforms darwin depends_lib port:python25 name py25-logilab-common maintainers {stechert openmaintainer} long_description {{A number of modules used by various projects from Logilab}} version 0.42.0 categories python revision 0
 py25-lxml 605
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090804/1c319ed5/attachment.html>