[84256] trunk/dports/science/sbsat/Portfile
snc at macports.org
snc at macports.org
Wed Sep 21 10:29:15 PDT 2011
Revision: 84256
http://trac.macports.org/changeset/84256
Author: snc at macports.org
Date: 2011-09-21 10:29:14 -0700 (Wed, 21 Sep 2011)
Log Message:
-----------
sbsat: license
Modified Paths:
--------------
trunk/dports/science/sbsat/Portfile
Modified: trunk/dports/science/sbsat/Portfile
===================================================================
--- trunk/dports/science/sbsat/Portfile 2011-09-21 17:21:30 UTC (rev 84255)
+++ trunk/dports/science/sbsat/Portfile 2011-09-21 17:29:14 UTC (rev 84256)
@@ -8,6 +8,7 @@
revision 3
categories science math
maintainers snc
+license Permissive
description A state-based Satisfiability solver.
long_description SBSAT is a software package used primarily for solving \
instances of a generalization of the well-known \
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110921/800c199b/attachment.html>
More information about the macports-changes
mailing list