[85141] trunk/dports/devel/spin/Portfile

mww at macports.org mww at macports.org
Mon Oct 10 04:40:06 PDT 2011


Revision: 85141
          http://trac.macports.org/changeset/85141
Author:   mww at macports.org
Date:     2011-10-10 04:40:04 -0700 (Mon, 10 Oct 2011)
Log Message:
-----------
spin: add license (http://www.spinroot.com/spin/spin_license.html)

Modified Paths:
--------------
    trunk/dports/devel/spin/Portfile

Modified: trunk/dports/devel/spin/Portfile
===================================================================
--- trunk/dports/devel/spin/Portfile	2011-10-10 11:09:20 UTC (rev 85140)
+++ trunk/dports/devel/spin/Portfile	2011-10-10 11:40:04 UTC (rev 85141)
@@ -10,6 +10,7 @@
 categories      devel
 platforms       darwin
 maintainers     jann
+license         SPIN
 description     The Spin model checker
 
 long_description \
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20111010/9d0b2ddb/attachment.html>


More information about the macports-changes mailing list