mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-19 00:13:33 +00:00
Code Issues Releases Activity

- Update to 0.1-11-18-2008

Browse Source
This commit is contained in:
Li-Wen Hsu 2008-12-24 20:51:30 +00:00
parent b26694104e
commit 4553448013
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=224711
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
math/stp/Makefile
View File

@ -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 \

6
math/stp/distinfo
View File

@ -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