[53753] trunk/dports/PortIndex

[portindex at macports.org]

Revision: 53753
          http://trac.macports.org/changeset/53753
Author:   portindex at macports.org
Date:     2009-07-13 01:53:21 -0700 (Mon, 13 Jul 2009)
Log Message:
-----------

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

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2009-07-13 07:53:09 UTC (rev 53752)
+++ trunk/dports/PortIndex	2009-07-13 08:53:21 UTC (rev 53753)
@@ -1919,7 +1919,7 @@
 slib-guile16 357
 portdir devel/slib-guile16 description {Wrapper port to properly set up slib and guile16 together} epoch 0 platforms darwin name slib-guile16 depends_lib {port:slib port:guile16} maintainers nomaintainer long_description {Create two symbolic links and a catalog file so that guile16 can find the slib library files.} version 1.0 categories devel revision 2
 smake 393
-portdir devel/smake description {highly portable make program with automake features} homepage http://cdrecord.berlios.de/old/private/smake.html epoch 0 platforms darwin name smake maintainers mww long_description {Smake is a highly portable make program with automake features. It is currently mainly targeted to be used with the makefiles system.} version 1.2a42 categories devel revision 0
+portdir devel/smake description {highly portable make program with automake features} homepage http://cdrecord.berlios.de/old/private/smake.html epoch 0 platforms darwin name smake maintainers mww long_description {Smake is a highly portable make program with automake features. It is currently mainly targeted to be used with the makefiles system.} version 1.2a43 categories devel revision 0
 soprano 476
 variants {universal debug darwin_8 darwin_9 docs} depends_build {port:cmake port:automoc} portdir devel/soprano description {The Qt-based RDF framework.} homepage http://soprano.sourceforge.net epoch 0 platforms darwin depends_lib {port:qt4-mac port:clucene port:strigi port:redland} name soprano maintainers nomaintainer long_description {Soprano is a software library that provides an object-oriented C++/Qt4 framework for RDF data.} categories devel version 2.2 revision 1
 spin 368
@@ -4663,7 +4663,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-08 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-12 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
@@ -9505,7 +9505,7 @@
 bkhive 329
 portdir security/bkhive description {Recover syskey bootkey from system hive file} homepage http://ophcrack.sourceforge.net epoch 0 name bkhive maintainers gmail.com:cedric.luthi long_description {bkhive is a tool for recovering syskey bootkey from a Microsoft Windows system hive file.} version 2 categories security revision 0
 botan 480
-variants {darwin powerpc ppc64 i386 x86_64 universal} portdir security/botan description {cryptographic algorithms and formats library in C++} homepage http://botan.randombit.net/ epoch 0 platforms darwin name botan long_description {Botan is a C++ library implementing a variety of cryptographic algorithms and formats. At this time, it is quite stable, and is suitable for use in a wide variety of programs.} maintainers mww categories {security devel} version 1.8.2 revision 0
+variants {darwin powerpc ppc64 i386 x86_64 universal} portdir security/botan description {cryptographic algorithms and formats library in C++} homepage http://botan.randombit.net/ epoch 0 platforms darwin name botan long_description {Botan is a C++ library implementing a variety of cryptographic algorithms and formats. At this time, it is quite stable, and is suitable for use in a wide variety of programs.} maintainers mww categories {security devel} version 1.8.3 revision 0
 calife 413
 variants universal portdir security/calife description {Provides super user privileges to specific users} homepage http://dev.keltia.net/projects/calife epoch 0 platforms darwin name calife long_description {Calife is a small utility close to sudo(8) but lightweight and it preserves the caller's environment (shell aliases, PATH and so on).} maintainers sky.fr:cbellot categories security version 3.0 revision 0
 checkpassword-pam 517
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090713/ffa33f5e/attachment.html>