[50623] trunk/dports

portindex at macports.org portindex at macports.org
Tue May 5 02:52:55 PDT 2009

Revision: 50623
Author:   portindex at macports.org
Date:     2009-05-05 02:52:54 -0700 (Tue, 05 May 2009)
Log Message:

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

Modified Paths:

Modified: trunk/dports/PortIndex
--- trunk/dports/PortIndex	2009-05-05 09:13:07 UTC (rev 50622)
+++ trunk/dports/PortIndex	2009-05-05 09:52:54 UTC (rev 50623)
@@ -4810,6 +4810,8 @@
 depends_build port:smake portdir math/scalc description {tool for simple integer calculations or for converting numbers} homepage http://www.fokus.fraunhofer.de/research/cc/berlios/employees/joerg.schilling/private/ epoch 0 platforms darwin name scalc maintainers nomaintainer long_description {The calc command may be used to do simple integer calculations or to convert numbers from one radix to another.} version 1.15 categories math revision 1
 slepc 629
 variants {arpack universal} portdir math/slepc description {Scalable Library for Eigenvalue Problem Computations} homepage http://www.grycap.upv.es/slepc epoch 0 platforms darwin name slepc depends_lib port:petsc long_description {SLEPc is a software library for the solution of large scale sparse eigenvalue problems on parallel computers. It is an extension of PETSc and can be used for either standard or generalized eigenproblems, with real or complex arithmetic. It can also be used for computing a partial SVD of a large, sparse, rectangular matrix.} maintainers mmoll categories {math science} version 3.0.0-p3 revision 0
+stp 538
+depends_build {path:bin/bison:bison path:bin/perl:perl5 port:flex} portdir math/stp description {STP (Simple Theorem Provider)} homepage http://people.csail.mit.edu/vganesh/STP_files/stp.html epoch 0 platforms darwin name stp maintainers perry long_description {STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers.} version 0.1 categories math revision 0
 surf 553
 variants {nox11 universal} portdir math/surf description {Visualization of real algebraic geometry.} homepage http://surf.sourceforge.net/ epoch 0 platforms darwin name surf depends_lib {port:gmp port:flex port:gtk1} long_description {surf is a tool to visualize some real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections of surfaces. surf is script driven and has (optionally) a nifty GUI using the Gtk widget set.} maintainers {gmail.com:shreevatsa.public openmaintainer} categories math version 1.0.5 revision 0
 tablix 829

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

More information about the macports-changes mailing list