[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