[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