[37514] trunk/dports/PortIndex

Tue Jun 10 12:42:38 PDT 2008

Revision: 37514
          http://trac.macosforge.org/projects/macports/changeset/37514
Author:   dluke at macports.org
Date:     2008-06-10 12:42:33 -0700 (Tue, 10 Jun 2008)

Log Message:
-----------

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

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

Modified: trunk/dports/PortIndex
===================================================================

--- trunk/dports/PortIndex	2008-06-10 18:12:23 UTC (rev 37513)
+++ trunk/dports/PortIndex	2008-06-10 19:42:33 UTC (rev 37514)
@@ -3648,16 +3648,16 @@
 variants {universal i386} portdir lang/pfe description {Implementation of ANSI Forth} homepage http://pfe.sourceforge.net/ epoch 0 platforms darwin name pfe depends_lib port:ncurses maintainers nomaintainer long_description {The Forth-system is closely modeled along the new American National Standard for the programming language Forth. Every word of every word set mentioned in the dpANS-6 document of June 1993 has been implemented. Additionally it is compatible to Forth-83.} version 0.33.65 categories lang revision 0
 pike 1220
 variants {universal bzip2 image ttf pcre gdbm mysql odbc postgresql gtk opengl sane sdl svg doc} depends_build {port:zlib port:gmp port:nettle} variant_desc {bzip2 {Bzip2 support for Pike} image {Images (JPEG, PNG, GIF, TIFF) support for Pike} ttf {TrueType (TTF) support (using FreeType) for Pike} pcre {Regular expression support (using PCRE) for Pike} gdbm {GDBM database support for Pike} mysql {MySQL database support for Pike} odbc {ODBC database support for Pike} postgresql {Postgres database support for Pike} gtk {GTK support for Pike} opengl {OpenGL support for Pike} sane {SANE scanner support for Pike} sdl {SDL support for Pike} svg {SVG vector graphics support for Pike} doc {Pike documentation}} portdir lang/pike description {dynamic programming language} homepage http://pike.ida.liu.se/ epoch 0 platforms darwin name pike depends_lib {port:zlib port:gmp port:nettle} maintainers {gmx.de:exodusd openmaintainer} long_description {Pike is a dynamic programming language wi
 th a syntax similar to Java and C. It is simple to learn, does not require long compilation passes and has powerful built-in data types allowing simple and really fast data manipulation.} categories lang version 7.6.112 revision 1
-polyml 435
-variants universal description {An implementation of Standard ML.} portdir lang/polyml homepage http://www.polyml.org/ epoch 0 depends_lib lib:libX11.6:XFree86 name polyml long_description {Poly/ML is an extremely fast and efficient implementation of Standard ML. Program state can be saved in a memory-mapped persistent store. There are numerous addon libraries available.} maintainers mww categories {lang ml} version 5.1 revision 0
+polyml 452
+variants universal portdir lang/polyml description {An implementation of Standard ML.} homepage http://www.polyml.org/ epoch 0 platforms darwin name polyml depends_lib lib:libX11.6:XFree86 maintainers mww long_description {Poly/ML is an extremely fast and efficient implementation of Standard ML. Program state can be saved in a memory-mapped persistent store. There are numerous addon libraries available.} version 5.2 categories {lang ml} revision 0
 prolog-mode.el 847
 variants universal portdir lang/prolog-mode.el description {An emacs major mode for editing prolog programs.} homepage http://turing.ubishops.ca/home/bruda/emacs-prolog/ depends_run bin:swipl:swi-prolog epoch 0 platforms darwin name prolog-mode.el depends_lib {{path:\${prefix}/bin/emacs:emacs}} maintainers nomaintainer long_description {So the Prolog mode that comes with Emacs sucks. Well, here is a better alternative, with all the features you would expect, including syntax highlighting, auto indent, and full interaction with an inferior Prolog process. This mode supports in principle any Prolog system, though it is primarily maintained with SWI Prolog {	} in mind. It also has some special tweaks for SICStus Prolog, and explicitly supports Prolog's close relatives Eclipse and Mercury.} version 1.2 categories {lang editors} revision 1
 prothon 717
 variants universal depends_build port:pkgconfig portdir lang/prothon description {industrial-strength alternative to Python and Self} homepage http://prothon.org/ epoch 0 platforms darwin depends_lib {port:boost port:sqlite2 port:apr port:expat port:libiconv port:db44} name prothon maintainers nomaintainer long_description {Prothon is a fresh new language that gets rid of classes altogether in the same way that Self does and regains the original practical and fun sensibility of Python. This major improvement plus many minor ones make for a clean new revolutionary break in language development. Prothon is quite simple and yet offers the power of Python and Self.} version 0.1.2-b711 categories lang revision 1
 pure 916
 variants {darwin debug} variant_desc {debug {Build non-optimized (builds quicker; runs slower)}} portdir lang/pure description {functional programming language based on term rewriting} homepage http://pure-lang.sourceforge.net/ epoch 0 platforms darwin name pure depends_lib {port:gmp port:libiconv port:libtool port:llvm port:readline} maintainers ryandesign long_description {Pure is a functional programming language based on term rewriting. It has a modern syntax featuring curried function applications, lexical closures and equational definitions with pattern matching, and thus is somewhat similar to languages of the Haskell and ML variety. But Pure is also a very dynamic and reflective language, and is more like Lisp in this respect. The interpreter has an LLVM backend to do JIT compilation, hence programs run blazingly fast and interfacing to C modules is easy.} version 0.2 categories lang revision 1
-pure-devel 990
-variants {darwin debug} depends_build {bin:svn:subversion port:bison port:flex} variant_desc {debug {Build non-optimized (builds quicker; runs slower)}} portdir lang/pure-devel description {functional programming language based on term rewriting} homepage http://pure-lang.sourceforge.net/ epoch 0 platforms darwin name pure-devel depends_lib {port:gmp port:libiconv port:libtool port:llvm port:readline} maintainers ryandesign long_description {Pure is a functional programming language based on term rewriting. It has a modern syntax featuring curried function applications, lexical closures and equational definitions with pattern matching, and thus is somewhat similar to languages of the Haskell and ML variety. But Pure is also a very dynamic and reflective language, and is more like Lisp in this respect. The interpreter has an LLVM backend to do JIT compilation, hence programs run blazingly fast and interfacing to C modules is easy.} categories lang version 0.2.0.r54 revision 0
+pure-devel 922
+variants {universal darwin} depends_build {bin:svn:subversion port:bison port:flex} portdir lang/pure-devel description {functional programming language based on term rewriting} homepage http://pure-lang.sourceforge.net/ epoch 0 platforms darwin depends_lib {port:gmp port:libiconv port:libtool port:llvm port:readline} name pure-devel maintainers ryandesign long_description {Pure is a functional programming language based on term rewriting. It has a modern syntax featuring curried function applications, lexical closures and equational definitions with pattern matching, and thus is somewhat similar to languages of the Haskell and ML variety. But Pure is also a very dynamic and reflective language, and is more like Lisp in this respect. The interpreter has an LLVM backend to do JIT compilation, hence programs run blazingly fast and interfacing to C modules is easy.} version 0.3.0.r200 categories lang revision 0
 pyobfuscate 471
 variants universal portdir lang/pyobfuscate description {python source code obfuscator} homepage http://www.lysator.liu.se/~astrand/projects/pyobfuscate/ epoch 0 depends_run bin:python:python24 platforms darwin name pyobfuscate maintainers nomaintainer long_description {pyobfuscate is a source code obfuscator: It makes Python source code hard to read for humans, while still being executable for the Python interpreter.} version 0.3 categories {lang python} revision 0
 python-mode.el 719
@@ -3683,7 +3683,7 @@
 q 856
 variants {universal darwin_6 darwin_7} portdir lang/q description {extensible scripting language} homepage http://q-lang.sourceforge.net/ epoch 0 platforms darwin name q depends_lib {port:gmp port:readline port:curl port:gettext port:libiconv port:libxml2 port:libxslt port:zlib} maintainers ryandesign long_description {Q is a powerful and extensible scripting language with advanced symbolic processing and functional programming capabilities. Q is based on term rewriting. Consequently, Q scripts are just collections of equations which are used to evaluate expressions in a symbolic fashion. Despite its conceptual simplicity, Q is a full-featured functional programming language with a modern syntax, curried function applications, dynamic object-oriented typing, exception handling, and POSIX multithreading.} version 7.11 categories lang revision 1
 ragel 540
-variants universal depends_build port:bison portdir lang/ragel description {ragel is a state machine compiler} homepage http://www.cs.queensu.ca/~thurston/ragel/ epoch 0 platforms darwin name ragel maintainers mww long_description {Ragel compiles finite state machines from regular languages into runnable C/C++ code. Ragel state machines can not only recognize byte sequences as regular expression machines do, but can also execute code at arbitrary points in the recognition of a regular language.} version 6.1 categories lang revision 0
+variants universal depends_build port:bison portdir lang/ragel description {ragel is a state machine compiler} homepage http://www.cs.queensu.ca/~thurston/ragel/ epoch 0 platforms darwin name ragel maintainers mww long_description {Ragel compiles finite state machines from regular languages into runnable C/C++ code. Ragel state machines can not only recognize byte sequences as regular expression machines do, but can also execute code at arbitrary points in the recognition of a regular language.} version 6.2 categories lang revision 0
 rexx 438
 variants universal description {Regina Rexx is an interpreter for the Rexx language} portdir lang/rexx homepage http://regina-rexx.sourceforge.net/ epoch 0 platforms darwin name rexx long_description {Regina is an implementation of the 1996 ANSI Standard for the Rexx language. Rexx is designed to be an easily readable, but powerful scripting and embedded macro language.} maintainers nomaintainer categories lang version 3.4 revision 0
 ruby 646
@@ -4038,8 +4038,8 @@
 variants universal description {The GNU Triangulated Surface library} portdir math/gts homepage http://gts.sourceforge.net/ epoch 0 platforms darwin name gts long_description {GTS stands for the GNU Triangulated Surface Library. It is an Open Source Free Software Library intended to provide a set of useful functions to deal with 3D surfaces meshed with interconnected triangles.} maintainers nomaintainer categories math version 0.7.6 revision 0
 gunits 569
 variants universal portdir math/gunits description {Unit conversion and calculation} homepage http://www.gnu.org/software/units/ epoch 0 platforms darwin name gunits depends_lib {port:ncurses port:readline} maintainers nomaintainer long_description {GNU units converts quantities expressed in various scales to their equivalents in other scales. Units can only handle multiplicative scale changes. For example, it cannot convert Celsius to Fahrenheit but it can convert temperature differences between those temperature scales.} version 1.86 categories math revision 1
-isabelle 714
-variants universal description {Isabelle is a popular generic theorem proving environment.} portdir math/isabelle homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 depends_lib port:polyml name isabelle long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} maintainers mww categories {math lang ml} version 2007 revision 1
+isabelle 731
+variants universal portdir math/isabelle description {Isabelle is a popular generic theorem proving environment.} homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 platforms darwin name isabelle depends_lib port:polyml maintainers mww long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} version 2008 categories {math lang ml} revision 0
 isabelle-devel 797
 variants universal portdir math/isabelle-devel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelle-devel depends_lib port:polyml maintainers mww long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols. This version is a development snapshot of the upcoming 2008 release.} version 2008-02-23 categories {math lang ml} revision 0
 itl 720
@@ -5577,7 +5577,7 @@
 p5-http-request-ascgi 488
 variants universal portdir perl/p5-http-request-ascgi description {Setup a CGI enviroment from a HTTP::Request} homepage http://search.cpan.org/dist/HTTP-Request-AsCGI/ epoch 0 platforms darwin name p5-http-request-ascgi depends_lib {{path:\${prefix}/bin/perl:perl5.8} port:p5-class-accessor port:p5-libwww-perl} maintainers {narf_tm openmaintainer} long_description {Provides a convinient way of setting up an CGI enviroment from a HTTP::Request.} version 0.5 categories perl revision 0
 p5-http-server-simple 410
-variants universal portdir perl/p5-http-server-simple description {A very simple standalone HTTP daemon} homepage http://search.cpan.org/dist/HTTP-Server-Simple/ epoch 0 platforms darwin name p5-http-server-simple depends_lib {{path:\${prefix}/bin/perl:perl5.8} port:p5-uri} maintainers {narf_tm openmaintainer} long_description {{A very simple standalone HTTP daemon}} version 0.33 categories perl revision 0
+variants universal portdir perl/p5-http-server-simple description {A very simple standalone HTTP daemon} homepage http://search.cpan.org/dist/HTTP-Server-Simple/ epoch 0 platforms darwin name p5-http-server-simple depends_lib {{path:\${prefix}/bin/perl:perl5.8} port:p5-uri} maintainers {narf_tm openmaintainer} long_description {{A very simple standalone HTTP daemon}} version 0.34 categories perl revision 0
 p5-http-server-simple-mason 501
 variants universal portdir perl/p5-http-server-simple-mason description {An abstract baseclass for a standalone mason server} homepage http://search.cpan.org/dist/HTTP-Server-Simple-Mason/ epoch 0 platforms darwin name p5-http-server-simple-mason depends_lib {{path:\${prefix}/bin/perl:perl5.8} port:p5-http-server-simple port:p5-html-mason port:p5-hook-lexwrap} maintainers nomaintainer long_description {{An abstract baseclass for a standalone mason server}} version 0.09 categories perl revision 0
 p5-ima-dbi 717

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20080610/ed673bc2/attachment.htm 
