[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