Revision: 68323 http://trac.macports.org/changeset/68323 Author: portindex@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)