[54244] trunk/dports

[portindex at macports.org]

Revision: 54244
          http://trac.macports.org/changeset/54244
Author:   portindex at macports.org
Date:     2009-07-23 11:53:18 -0700 (Thu, 23 Jul 2009)
Log Message:
-----------

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

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2009-07-23 18:35:28 UTC (rev 54243)
+++ trunk/dports/PortIndex	2009-07-23 18:53:18 UTC (rev 54244)
@@ -4396,8 +4396,8 @@
 variants {djb no_ssl universal} portdir mail/bincimap description {modular, secure, stable, and fast IMAP server for Maildir} homepage http://www.bincimap.org depends_run bin:checkpassword-pam:checkpassword-pam epoch 0 platforms darwin name bincimap depends_lib lib:libssl:openssl long_description {Binc IMAP is a well designed, modular IMAP server for Maildir. Its goals are to be secure, stable, and fast, yet flexible and easy to maintain.} maintainers nomaintainer categories mail version 1.2.13final revision 0
 bmf 464
 variants {mysql universal} portdir mail/bmf description {Bayesian Mail Filter} homepage http://bmf.sourceforge.net/ epoch 0 platforms {darwin freebsd} name bmf maintainers nomaintainer long_description {bmf is a self contained and extremely efficient Bayesian mail filter. See Paul Graham's article {A Plan for Spam} for background information. It aims to be faster, smaller, and more versatile than similar applications.} categories mail version 0.9.4 revision 0
-bogofilter 515
-variants universal portdir mail/bogofilter description {Fast Bayesian Spam Filter} homepage http://bogofilter.sourceforge.net/ epoch 0 name bogofilter depends_lib {port:sqlite3 port:libiconv port:gsl} long_description {Bogofilter is a mail filter that classifies mail as spam or ham (non-spam) by a statistical analysis of the message's header and content (body). The program is able to learn from the user's classifications and corrections.} maintainers gmail.com:chenggao categories mail version 1.1.6 revision 0
+bogofilter 532
+variants universal portdir mail/bogofilter description {Fast Bayesian Spam Filter} homepage http://bogofilter.sourceforge.net/ epoch 0 platforms darwin name bogofilter depends_lib {port:sqlite3 port:libiconv port:gsl} long_description {Bogofilter is a mail filter that classifies mail as spam or ham (non-spam) by a statistical analysis of the message's header and content (body). The program is able to learn from the user's classifications and corrections.} maintainers gmail.com:chenggao categories mail version 1.2.0 revision 0
 cclient 512
 variants {ssl_plaintext universal} portdir mail/cclient description {UW IMAP c-client library} homepage http://www.washington.edu/imap/ epoch 0 platforms darwin name cclient depends_lib {port:openssl lib:libz:zlib lib:libgssapi_krb5:kerberos5} long_description {C-client is a common API for accessing mailboxes. It is used internally by the popular PINE mail reader as well as the University of Washington's IMAP server.} maintainers {kallisys.net:pguyot openmaintainer} categories mail version 2007d revision 0
 clamsmtp 603
@@ -4671,7 +4671,7 @@
 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 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 2009 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 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.} maintainers mww categories {math lang ml} version 2009-07-12 revision 0
+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 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.} maintainers mww categories {math lang ml} version 2009-07-23 revision 0
 itl 720
 variants universal portdir math/itl description {Iterative Template Library (based on MTL)} homepage http://www.osl.iu.edu/research/itl/ epoch 0 platforms darwin name itl depends_lib {port:blitz port:mtl} long_description {The Iterative Template Library (ITL) is a generic component library that provides iterative methods for solving linear systems. ITL also provides numerious preconditioners which is for MTL. ITL uses the abstract interface of matrix-vector, vector-vector, and vector-scalor operations MTL is default to serve those operations. ITL is able to use other packages such as Blitz++ and BLAS with the same abstract interface provided.} maintainers nomaintainer categories math version 4.0.0-1 revision 0
 k3dsurf 474

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