[50740] trunk/dports/PortIndex

[portindex at macports.org]

Revision: 50740
          http://trac.macports.org/changeset/50740
Author:   portindex at macports.org
Date:     2009-05-08 04:53:27 -0700 (Fri, 08 May 2009)
Log Message:
-----------

Total number of ports parsed:	5803 
Ports successfully parsed:	5803	 
Ports failed:			0

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2009-05-08 11:36:15 UTC (rev 50739)
+++ trunk/dports/PortIndex	2009-05-08 11:53:27 UTC (rev 50740)
@@ -4525,7 +4525,7 @@
 aamath 478
 variants darwin_8 portdir math/aamath description {renders ASCII art from mathematical expressions} homepage http://fuse.superglue.se/aamath/ epoch 0 platforms darwin name aamath maintainers {snc openmaintainer} long_description {Aamath is a program that reads mathematical expressions in infix notation and renders them as ASCII art. It may be useful to send mathematics through text-only media, such as e-mail or newsgroups.} categories {math textproc} version 0.3 revision 0
 acl2 987
-variants {i386 x86_64 ppc ppc64 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-4 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 categories math version 3.4 revision 0
+variants {i386 x86_64 ppc ppc64 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 categories math version 3.5 revision 0
 add 423
 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} categories math version 20070214 revision 0
 algae 337
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090508/711023ef/attachment-0001.html>