[47222] trunk/dports/PortIndex

[portindex at macports.org]

Revision: 47222
          http://trac.macports.org/changeset/47222
Author:   portindex at macports.org
Date:     2009-02-23 12:52:10 -0800 (Mon, 23 Feb 2009)
Log Message:
-----------

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

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2009-02-23 19:52:02 UTC (rev 47221)
+++ trunk/dports/PortIndex	2009-02-23 20:52:10 UTC (rev 47222)
@@ -3838,8 +3838,8 @@
 variants readline variant_desc {readline {Use readline support}} portdir lang/clojure description {The Clojure programming language} homepage http://clojure.org/ epoch 0 platforms darwin name clojure maintainers cs.wm.edu:mpd long_description {Clojure is a dynamic programming language for the JVM. It is interactive, yet compiled, with a robust infrastructure for concurrency. It is a functional dialect of Lisp, with a rich set of immutable, persistent data structures and a macro system.} version 20081217 categories {lang java} revision 0
 cm3 590
 variants {darwin_powerpc freebsd_i386 universal} variant_desc {darwin_powerpc {Platform variant, do not select manually} universal {Build for multiple architectures}} portdir lang/cm3 description {Critical Mass Modula-3 Compiler} homepage http://www.elegosoft.com/cm3/ epoch 0 platforms darwin name cm3 maintainers nomaintainer long_description {CM3 5.2 is an open source release of Critical Mass Modula-3. It is a complete easy-to-use and easy-to-install Modula-3 system that contains considerable enhancements over its ancestor DEC SRC Modula-3.} version 5.2.6 categories lang revision 1
-coq 575
-variants universal variant_desc {universal {Build for multiple architectures}} portdir lang/coq description {Proof assistant for higher-order logic} homepage http://coq.inria.fr/ epoch 0 name coq depends_lib {bin:ocamlc:ocaml port:camlp5} maintainers reilles at loria.fr long_description {Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>.} version 8.2 categories {lang math} revision 0
+coq 592
+variants universal variant_desc {universal {Build for multiple architectures}} portdir lang/coq description {Proof assistant for higher-order logic} homepage http://coq.inria.fr/ epoch 0 platforms darwin name coq depends_lib {bin:ocamlc:ocaml port:camlp5} maintainers reilles at loria.fr long_description {Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>.} version 8.2 categories {lang math} revision 0
 cupl 337
 portdir lang/cupl description {CUPL/CORC interpreter} platforms darwin name cupl version 1.6 categories lang homepage http://www.catb.org/~esr/cupl/ revision 0 epoch 0 maintainers nomaintainer long_description {Interpreter for the archaic CUPL and CORC programming languages. Includes full documentation and a chrestomathy of programs.}
 cyclone 1075
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090223/d39a37ad/attachment.html>