[47220] trunk/dports/lang/coq/Portfile
alakazam at macports.org
alakazam at macports.org
Mon Feb 23 11:47:45 PST 2009
Revision: 47220
http://trac.macports.org/changeset/47220
Author: alakazam at macports.org
Date: 2009-02-23 11:47:45 -0800 (Mon, 23 Feb 2009)
Log Message:
-----------
Fix lint report for Coq : add required 'platforms' variable
Modified Paths:
--------------
trunk/dports/lang/coq/Portfile
Modified: trunk/dports/lang/coq/Portfile
===================================================================
--- trunk/dports/lang/coq/Portfile 2009-02-23 19:45:19 UTC (rev 47219)
+++ trunk/dports/lang/coq/Portfile 2009-02-23 19:47:45 UTC (rev 47220)
@@ -4,6 +4,7 @@
name coq
version 8.2
+platforms darwin
categories lang math
maintainers reilles at loria.fr
homepage http://coq.inria.fr/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090223/009fd6a0/attachment.html>
More information about the macports-changes
mailing list