[87729] trunk/dports/lang/coq/Portfile

Fri Dec 2 11:15:14 PST 2011

Revision: 87729
          http://trac.macports.org/changeset/87729
Author:   dports at macports.org
Date:     2011-12-02 11:15:14 -0800 (Fri, 02 Dec 2011)
Log Message:
-----------
coq: license

Modified Paths:
--------------
    trunk/dports/lang/coq/Portfile

Modified: trunk/dports/lang/coq/Portfile
===================================================================

--- trunk/dports/lang/coq/Portfile	2011-12-02 19:11:44 UTC (rev 87728)
+++ trunk/dports/lang/coq/Portfile	2011-12-02 19:15:14 UTC (rev 87729)
@@ -6,6 +6,7 @@
 version     8.3pl2
 platforms   darwin
 categories  lang math
+license     LGPL-2.1
 maintainers loria.fr:reilles
 homepage    http://coq.inria.fr/
 master_sites ${homepage}V${version}/files/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20111202/1046b4a2/attachment.html>
