[68323] trunk/dports
portindex at macports.org
portindex at macports.org
Tue Jun 1 11:47:56 PDT 2010
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>
More information about the macports-changes
mailing list