[51501] trunk/dports
portindex at macports.org
portindex at macports.org
Tue May 26 18:53:50 PDT 2009
Revision: 51501
http://trac.macports.org/changeset/51501
Author: portindex at macports.org
Date: 2009-05-26 18:53:50 -0700 (Tue, 26 May 2009)
Log Message:
-----------
Total number of ports parsed: 5816
Ports successfully parsed: 5816
Ports failed: 0
Modified Paths:
--------------
trunk/dports/PortIndex
trunk/dports/PortIndex.quick
Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex 2009-05-27 01:48:34 UTC (rev 51500)
+++ trunk/dports/PortIndex 2009-05-27 01:53:50 UTC (rev 51501)
@@ -830,8 +830,6 @@
variants universal depends_build port:ghc portdir devel/Djinn description {Haskell Theorem Prover} homepage http://www.augustsson.net/Darcs/Djinn/ epoch 0 platforms darwin name Djinn long_description {Djinn is a small program that takes a (Haskell) type and returns a function of that type, if one exists. In short, a Haskell type can be seen as a proposition in logic (i.e., the Curry-Howard isomorphism). Djinn proves or disproves the type proposition. If it manages the proof, it extracts a program from that. This is mainly interesting as part of the lambdabot.} maintainers bfulgham categories devel version 2006-07-21 revision 1
HaXml 519
depends_build port:ghc portdir devel/HaXml description {XML utilities for haskell} homepage http://www.cs.york.ac.uk/fp/HaXml epoch 0 platforms darwin name HaXml maintainers nomaintainer long_description {HaXml is a collection of utilities for parsing, filtering, transforming, and generating XML documents using Haskell. Its basic facilities include: * a parser for XML, * a separate error-correcting parser for HTML, * an XML validator, * pretty-printers for XML and HTML.} categories devel version 1.13.2 revision 0
-Libstreams 299
-portdir devel/Libstreams description {Libstreams from darwin} homepage http://developer.apple.com/darwin/ epoch 0 platforms darwin name Libstreams long_description {NeXT Streams routines, now part of darwin. Used by cctools.} maintainers kallisys.net:pguyot version 24.1 categories devel revision 0
MacPorts_Framework 426
variants universal depends_build bin:svn:subversion portdir devel/MacPorts_Framework description {Cocoa framework for MacPorts.} homepage http://www.macports.org epoch 0 platforms macosx name MacPorts_Framework long_description {MacPorts.framework is a framework for linking Cocoa applications to the MacPorts infrastructure.} maintainers {armahg openmaintainer} version 0.1.0 categories {devel macports framework} revision 0
PIDA 376
Modified: trunk/dports/PortIndex.quick
===================================================================
(Binary files differ)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090526/66d8258c/attachment.html>
More information about the macports-changes
mailing list