[52807] trunk/dports/science

snc at macports.org snc at macports.org
Tue Jun 23 10:30:18 PDT 2009


Revision: 52807
          http://trac.macports.org/changeset/52807
Author:   snc at macports.org
Date:     2009-06-23 10:30:18 -0700 (Tue, 23 Jun 2009)
Log Message:
-----------
created sbsat, am maintainer

Added Paths:
-----------
    trunk/dports/science/sbsat/
    trunk/dports/science/sbsat/Portfile

Added: trunk/dports/science/sbsat/Portfile
===================================================================
--- trunk/dports/science/sbsat/Portfile	                        (rev 0)
+++ trunk/dports/science/sbsat/Portfile	2009-06-23 17:30:18 UTC (rev 52807)
@@ -0,0 +1,28 @@
+# -*- coding: utf-8; mode: tcl; tab-width: 4; truncate-lines: t; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4
+# $Id$
+
+PortSystem          1.0
+
+name                sbsat
+version             2.7b
+categories          science math
+maintainers         snc
+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 \
+                    Satisfiability problem.
+
+homepage            http://www.cs.uc.edu/~weaversa/SBSAT.html
+platforms           freebsd darwin
+
+master_sites        http://www.cs.uc.edu/~weaversa/SBSAT_files/
+checksums           md5    1491e7d79af20ce6bf138acd9a16dd41 \
+                    sha1   08e9d0a447105fcd36518fab4653fcc8a0973ced \
+                    rmd160 0ef8e2ee04d54b71fe837407ba3f771cca381636
+
+test.run            yes
+test.target         check
+
+livecheck.check     regex
+livecheck.url       ${homepage}
+livecheck.regex     "${name}-(\\d+\\.\\d+(b)?(\\.\\d+)?)${extract.suffix}"


Property changes on: trunk/dports/science/sbsat/Portfile
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090623/73403359/attachment.html>


More information about the macports-changes mailing list