[54987] trunk/dports

[portindex at macports.org]

Revision: 54987
          http://trac.macports.org/changeset/54987
Author:   portindex at macports.org
Date:     2009-08-05 09:53:24 -0700 (Wed, 05 Aug 2009)
Log Message:
-----------

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

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2009-08-05 16:21:31 UTC (rev 54986)
+++ trunk/dports/PortIndex	2009-08-05 16:53:24 UTC (rev 54987)
@@ -4701,7 +4701,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-31 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-05 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
@@ -8984,6 +8984,8 @@
 portdir python/py26-routes description {A Routing package for Python that matches URLs to dicts and vice versa.} homepage http://routes.groovie.org epoch 0 platforms darwin depends_lib port:python26 name py26-routes maintainers nomaintainer long_description {Routes is a Python re-implementation of the Rails routes system for mapping URLs to Controllers/Actions and generating URLs. Routes makes it easy to create pretty and concise URLs that are RESTful with little effort.} version 1.10.3 categories {python www} revision 0
 py26-scientific 432
 variants {macosx puredarwin mpi} portdir python/py26-scientific description {Scientific Python} homepage http://dirac.cnrs-orleans.fr/ScientificPython/ epoch 0 platforms darwin depends_lib {port:netcdf port:py26-numeric} name py26-scientific long_description {ScientificPython is a collection of Python modules that are useful for scientific computing.} maintainers nomaintainer version 2.6.1 categories {python science} revision 0
+py26-scikits-ann 599
+portdir python/py26-scikits-ann description {scikits.ann is a SWIG python wrapper for the Approximate Nearest Neighbor (ANN) Library} homepage http://scikits.appspot.com/ann epoch 0 platforms darwin depends_lib {port:py26-numpy port:swig port:libANN} name py26-scikits-ann maintainers mnick long_description {{scikits.ann is a SWIG python wrapper for the Approximate Nearest Neighbor (ANN) Library} scikits.ann provides an immutable kdtree implementation (via ANN) which can perform k-nearest neighbor and approximate k-nearest neighbor searches.} version 0.2 categories {python science} revision 0
 py26-scipy 442
 variants {gcc42 gcc43 gcc44} portdir python/py26-scipy description {An opensource library of scientific tools for Python} homepage http://www.scipy.org/ epoch 0 platforms darwin depends_lib {port:python26 port:py26-numpy port:py26-nose port:SuiteSparse port:swig port:gcc43} name py26-scipy long_description {{An opensource library of scientific tools for Python.}} maintainers {jmr openmaintainer} version 0.7.1 categories python revision 0
 py26-setuptools 527

Modified: trunk/dports/PortIndex.quick
===================================================================
(Binary files differ)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090805/fd40fb2c/attachment.html>