Changeset 54244
 Timestamp:
 Jul 23, 2009, 6:53:18 PM (10 years ago)
 Location:
 trunk/dports
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

trunk/dports/PortIndex
r54241 r54244 4397 4397 bmf 464 4398 4398 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 4399 bogofilter 5 154400 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 (nonspam) 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.6revision 04399 bogofilter 532 4400 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 (nonspam) 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 4401 4401 cclient 512 4402 4402 variants {ssl_plaintext universal} portdir mail/cclient description {UW IMAP cclient 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 {Cclient 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 … … 4672 4672 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 4673 4673 isabelledevel 797 4674 variants universal portdir math/isabelledevel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelledevel 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 200907 12revision 04674 variants universal portdir math/isabelledevel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelledevel 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 20090723 revision 0 4675 4675 itl 720 4676 4676 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 matrixvector, vectorvector, and vectorscalor 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.01 revision 0
Note: See TracChangeset
for help on using the changeset viewer.