[58219] trunk/dports

[portindex at macports.org]

Revision: 58219
          http://trac.macports.org/changeset/58219
Author:   portindex at macports.org
Date:     2009-09-24 03:53:58 -0700 (Thu, 24 Sep 2009)
Log Message:
-----------

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

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2009-09-24 10:40:54 UTC (rev 58218)
+++ trunk/dports/PortIndex	2009-09-24 10:53:58 UTC (rev 58219)
@@ -4126,8 +4126,8 @@
 variants {readline rlwrap} portdir lang/clojure description {The Clojure programming language} homepage http://clojure.org/ epoch 20090504 platforms darwin name clojure 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.} maintainers gmail.com:mdippery depends_extract bin:unzip:unzip categories {lang java} version 1.0.0 revision 1
 cm3 472
 variants {darwin_powerpc freebsd_i386 universal} portdir lang/cm3 description {Critical Mass Modula-3 Compiler} homepage http://www.elegosoft.com/cm3/ epoch 0 platforms darwin name cm3 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.} maintainers nomaintainer categories lang version 5.2.6 revision 1
-coq 532
-variants universal 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} 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/>.} maintainers loria.fr:reilles categories {lang math} version 8.2 revision 0
+coq 548
+variants {doc coqide universal} 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} 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/>.} maintainers loria.fr:reilles categories {lang math} version 8.2pl1 revision 0
 cupl 337
 portdir lang/cupl description {CUPL/CORC interpreter} homepage http://www.catb.org/~esr/cupl/ epoch 0 platforms darwin name cupl maintainers nomaintainer long_description {Interpreter for the archaic CUPL and CORC programming languages. Includes full documentation and a chrestomathy of programs.} version 1.6 categories lang revision 0
 cyclone 1041

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