[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