[68323] trunk/dports

[portindex at macports.org]

Revision: 68323
          http://trac.macports.org/changeset/68323
Author:   portindex at macports.org
Date:     2010-06-01 11:47:53 -0700 (Tue, 01 Jun 2010)
Log Message:
-----------
Total number of ports parsed:	1 
Ports successfully parsed:	1 
Ports failed:			0 
Up-to-date ports skipped:	6951

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2010-06-01 18:32:52 UTC (rev 68322)
+++ trunk/dports/PortIndex	2010-06-01 18:47:53 UTC (rev 68323)
@@ -5228,8 +5228,8 @@
 variants {emacs ccl certify regression nonstd} portdir math/acl2 description {Applicative Common Lisp / A Computational Logic} homepage http://www.cs.utexas.edu/users/moore/acl2/v3-5 epoch 0 depends_run port:sbcl platforms darwin name acl2 long_description {ACL2 (Applicative Common Lisp / A Computational Logic) is the successor to nqthm, the Boyer-Moore theorem prover. ACL2 can be used to automatically or semi-automatically prove theorems and has been used extensively in real applications (e.g., proving the correctness of certain calculations in the floating point unit of the AMD K5 microprocessor. ACL2 is a very large, multipurpose system. You can use it as a programming language, a specification language, a modeling language, a formal mathematical logic, or a semi-automatic theorem prover. Because the meta-language is the same as the language (a subset of Common Lisp), it is very flexible.} maintainers gwright license unknown categories math version 3.5 revision 0
 add 439
 variants universal portdir math/add description {Fixed-point, full screen calculator.} homepage http://dickey.his.com/add/ epoch 0 platforms darwin name add depends_lib port:ncurses long_description {add is a fixed-point calculator that operates as a full-screen editor. It is designed for use as a checkbook or expense-account balancing tool.} maintainers {jmpp openmaintainer} license unknown categories math version 20070214 revision 0
-arpack 424
-variants {gcc42 gcc43 gcc44 g95 mpi} depends_build port:gcc43 portdir math/arpack description {Package for solving large scale eigenvalue problems} homepage http://www.caam.rice.edu/software/ARPACK epoch 0 platforms darwin name arpack long_description {ARPACK is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems.} maintainers mmoll license unknown categories math version 1 revision 3
+arpack 436
+variants {universal gcc42 gcc43 gcc44 gcc45 mpi} depends_build port:gcc44 portdir math/arpack description {Package for solving large scale eigenvalue problems} homepage http://www.caam.rice.edu/software/ARPACK epoch 0 platforms darwin name arpack maintainers mmoll license unknown long_description {ARPACK is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems.} categories math version 1 revision 4
 atlas 486
 variants {universal gcc43 gcc42} portdir math/atlas description {Portable optimal linear algebra software} homepage http://math-atlas.sourceforge.net/ epoch 0 platforms darwin depends_lib {port:gcc44 port:bzip2 port:gzip} name atlas maintainers jameskyle license unknown long_description {The current version provides a complete BLAS and LAPACK API. For many operations, ATLAS achieves performance on par with machine-specific tuned libraries.} version 3.8.3 categories math revision 2
 bc 498

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