[45008] trunk/dports/PortIndex
portindex at macports.org
portindex at macports.org
Tue Jan 6 00:52:15 PST 2009
Revision: 45008
http://trac.macports.org/changeset/45008
Author: portindex at macports.org
Date: 2009-01-06 00:52:11 -0800 (Tue, 06 Jan 2009)
Log Message:
-----------
Total number of ports parsed: 5422
Ports successfully parsed: 5422
Ports failed: 0
Modified Paths:
--------------
trunk/dports/PortIndex
Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex 2009-01-06 08:09:20 UTC (rev 45007)
+++ trunk/dports/PortIndex 2009-01-06 08:52:11 UTC (rev 45008)
@@ -4287,7 +4287,7 @@
ProofGeneral 566
portdir math/ProofGeneral platforms darwin description {An emacs mode for interactive prooving} name ProofGeneral version 3.7.1 categories math homepage http://proofgeneral.inf.ed.ac.uk/ revision 0 epoch 0 maintainers mww long_description {The aim of Proof General is to provide powerful and configurable interfaces which help user-interaction with proof assistants. Proof General targets power users rather than novices, but is designed to be useful to both. Proof General leads to an environment for serious proof engineering of interactively-constructed proofs.}
R 823
-variants {gcc42 gcc43} variant_desc {gcc42 {Build with gcc42} gcc43 {Build with gcc43 (default)}} portdir math/R description {R is GNU S - an interpreted language for statistical computing} homepage http://www.r-project.org/ epoch 0 platforms darwin name R depends_lib {port:gettext port:glib2 port:jpeg port:libiconv port:pango port:readline port:tcl port:tk port:tiff lib:libXmu.6:xorg-libXmu lib:libXss.1:xorg-libXScrnSaver port:gcc43} maintainers kjell.konis at epfl.ch long_description {R is a language and environment for statistical computing and graphics. R provides a wide variety of statistical (linear and nonlinear modelling, classical statistical tests, time-series analysis, classification, clustering, ...) and graphical techniques, and is highly extensible.} version 2.8.0 categories {math science} revision 0
+variants {gcc42 gcc43} variant_desc {gcc42 {Build with gcc42} gcc43 {Build with gcc43 (default)}} portdir math/R description {R is GNU S - an interpreted language for statistical computing} homepage http://www.r-project.org/ epoch 0 platforms darwin name R depends_lib {port:gettext port:glib2 port:jpeg port:libiconv port:pango port:readline port:tcl port:tk port:tiff lib:libXmu.6:xorg-libXmu lib:libXss.1:xorg-libXScrnSaver port:gcc43} maintainers kjell.konis at epfl.ch long_description {R is a language and environment for statistical computing and graphics. R provides a wide variety of statistical (linear and nonlinear modelling, classical statistical tests, time-series analysis, classification, clustering, ...) and graphical techniques, and is highly extensible.} version 2.8.1 categories {math science} revision 0
SuiteSparse 364
depends_build port:metis description {Sparse matrix routines} portdir math/SuiteSparse homepage http://www.cise.ufl.edu/research/sparse/SuiteSparse/ epoch 0 platforms darwin name SuiteSparse maintainers stechert long_description {SuiteSparse is a single archive that contains all packages authored by Tim Davis.} version 3.2.0 categories {math science} revision 1
aamath 537
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090106/8f323d31/attachment.html>
More information about the macports-changes
mailing list