[37354] trunk/dports/math/ProofGeneral/Portfile

mww at macports.org mww at macports.org
Wed Jun 4 03:34:06 PDT 2008


Revision: 37354
          http://trac.macosforge.org/projects/macports/changeset/37354
Author:   mww at macports.org
Date:     2008-06-04 03:34:05 -0700 (Wed, 04 Jun 2008)

Log Message:
-----------
add missing 'platform' key

Modified Paths:
--------------
    trunk/dports/math/ProofGeneral/Portfile

Modified: trunk/dports/math/ProofGeneral/Portfile
===================================================================
--- trunk/dports/math/ProofGeneral/Portfile	2008-06-04 10:17:37 UTC (rev 37353)
+++ trunk/dports/math/ProofGeneral/Portfile	2008-06-04 10:34:05 UTC (rev 37354)
@@ -6,6 +6,7 @@
 version           3.7.1pre080526
 categories        math
 maintainers       mww
+platforms         darwin
 description       An emacs mode for interactive prooving
 long_description  The aim of Proof General is to provide powerful \
                   and configurable interfaces which help user-interaction \

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20080604/38e91dcc/attachment.htm 


More information about the macports-changes mailing list