Changeset 54244


Ignore:
Timestamp:
Jul 23, 2009, 6:53:18 PM (10 years ago)
Author:
portindex@…
Message:

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

Location:
trunk/dports
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/PortIndex

    r54241 r54244  
    43974397bmf 464
    43984398variants {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 515
    4400 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
     4399bogofilter 532
     4400variants 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
    44014401cclient 512
    44024402variants {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
     
    46724672variants 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
    46734673isabelle-devel 797
    4674 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
     4674variants 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
    46754675itl 720
    46764676variants 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
Note: See TracChangeset for help on using the changeset viewer.