diff options
| author | lwhsu <lwhsu@FreeBSD.org> | 2008-12-25 04:51:30 +0800 |
|---|---|---|
| committer | lwhsu <lwhsu@FreeBSD.org> | 2008-12-25 04:51:30 +0800 |
| commit | ee088549700f1d622b77f42707d397afe233fc74 (patch) | |
| tree | c77da63a68db6b16da8d94c3ff410e2bf33def0e /math/stp | |
| parent | 78e210596a3b6f02252e6127d132b8c0d0308990 (diff) | |
| download | freebsd-ports-graphics-ee088549700f1d622b77f42707d397afe233fc74.tar.gz freebsd-ports-graphics-ee088549700f1d622b77f42707d397afe233fc74.tar.zst freebsd-ports-graphics-ee088549700f1d622b77f42707d397afe233fc74.zip | |
- Update to 0.1-11-18-2008
Diffstat (limited to 'math/stp')
| -rw-r--r-- | math/stp/Makefile | 6 | ||||
| -rw-r--r-- | math/stp/distinfo | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index 20d8e0b952c..dbddd764cca 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -8,10 +8,12 @@ PORTNAME= stp DISTVERSIONPREFIX= ver- DISTVERSION= 0.1 -DISTVERSIONSUFFIX= -02-26-2008 +DISTVERSIONSUFFIX= -11-18-2008 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= SF MASTER_SITE_SUBDIR= stp-fast-prover +EXTRACT_SUFX= .tgz MAINTAINER= lwhsu@FreeBSD.org COMMENT= A Decision Procedure for Bitvectors and Arrays @@ -20,8 +22,6 @@ USE_BISON= build USE_GMAKE= yes USE_PERL5_BUILD= yes -WRKSRC= ${WRKDIR}/stp - PLIST_FILES= bin/stp \ include/stp/c_interface.h \ include/stp/fdstream.h \ diff --git a/math/stp/distinfo b/math/stp/distinfo index d8e94a16340..ec7c37b4362 100644 --- a/math/stp/distinfo +++ b/math/stp/distinfo @@ -1,3 +1,3 @@ -MD5 (stp-ver-0.1-02-26-2008.tar.gz) = a43f30af5db5baba27331842cac7f938 -SHA256 (stp-ver-0.1-02-26-2008.tar.gz) = 3c89182df8bf7878ea1e17a2ebf338a0e96f4af42d72c1a33f01800041898d15 -SIZE (stp-ver-0.1-02-26-2008.tar.gz) = 19907700 +MD5 (stp-ver-0.1-11-18-2008.tgz) = 940fd698173a5a09ad0d15abdda083dd +SHA256 (stp-ver-0.1-11-18-2008.tgz) = ef16567235495119b395392e306abbef65902ce3a2a67d343742343319b1b18a +SIZE (stp-ver-0.1-11-18-2008.tgz) = 18366530 |