[61259] trunk/dports

portindex at macports.org portindex at macports.org
Mon Dec 7 00:54:15 PST 2009


Revision: 61259
          http://trac.macports.org/changeset/61259
Author:   portindex at macports.org
Date:     2009-12-07 00:54:11 -0800 (Mon, 07 Dec 2009)
Log Message:
-----------

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

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

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2009-12-07 08:29:32 UTC (rev 61258)
+++ trunk/dports/PortIndex	2009-12-07 08:54:11 UTC (rev 61259)
@@ -1996,6 +1996,8 @@
 portdir devel/qtscriptgenerator description {QtScript bindings generator.} homepage http://labs.trolltech.com/page/Projects/QtScript/Generator epoch 0 platforms darwin name qtscriptgenerator depends_lib path:libexec/qt4-mac/bin/qmake:qt4-kde maintainers nomaintainer long_description {Qt Script Generator is a tool that generates Qt bindings for Qt Script. With the generated bindings you get access to substantial portions of the Qt API from within Qt Script.} categories {devel kde4} version 0.1.0 revision 0
 qtsharp 458
 variants universal portdir devel/qtsharp description {Qt bindings for C#} homepage http://qtcsharp.sourceforge.net/ epoch 0 depends_run bin:cscc:pnet platforms darwin depends_lib {lib:libqt.3.3:qt3-mac lib:libqtc.1:qtc-qtsharp} name qtsharp long_description {A cross-platform GUI toolkit for Mono and Portable.Net which provides set of classes that bind any CIL language to the Qt toolkit.} maintainers nomaintainer categories devel version 0.7.1 revision 0
+quickfix 413
+variants {python postgresql84 universal} portdir devel/quickfix description {FIX engine implementation} homepage http://www.quickfixengine.org/ epoch 0 platforms darwin name quickfix depends_lib port:libxml2 long_description {QuickFIX is a full-featured open source FIX engine, currently compatible with the FIX 4.0-4.4 spec.} maintainers {blb openmaintainer} categories {devel finance} version 1.12.4 revision 0
 quilt 500
 variants universal portdir devel/quilt description {patch management scripts} homepage http://savannah.nongnu.org/projects/quilt/ epoch 0 platforms darwin name quilt depends_lib {port:gsed port:getopt port:coreutils} long_description {Patchwork Quilt is a set of scripts designed to allow you to manage a series of patches by keeping track of the changes each patch makes. Patches can be applied, un-applied, refreshed, etc.} maintainers {jmr openmaintainer} categories devel version 0.48 revision 0
 radlib 610
@@ -4928,8 +4930,8 @@
 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} 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.} maintainers nomaintainer categories math version 1.87 revision 0
 igraph 388
 variants universal depends_build port:gmp portdir math/igraph description {high performance graph library for C} homepage http://cneurocvs.rmki.kfki.hu/igraph/ epoch 0 platforms darwin name igraph long_description {high performance graph library, primarily aimed at complex network research and analysis.} maintainers {snc openmaintainer} categories {math devel} version 0.5.2 revision 0
-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 733
+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-1 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-10-01 revision 0
 itl 720

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


More information about the macports-changes mailing list