diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2009-08-22 00:28:34 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2009-08-22 00:28:34 +0000 |
| commit | a13d9a603d44e9d2d333d5b2033b95a97545f73b (patch) | |
| tree | f369b6d8855716c739425d19cebd7b0bd21ad210 /math/stp | |
| parent | 0074c5fa8cabe431c6868442326d476bb5ef2047 (diff) | |
| download | ports-a13d9a603d44e9d2d333d5b2033b95a97545f73b.tar.gz ports-a13d9a603d44e9d2d333d5b2033b95a97545f73b.zip | |
Notes
Diffstat (limited to 'math/stp')
| -rw-r--r-- | math/stp/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/math/stp/Makefile b/math/stp/Makefile index dbddd764cca0..86bda221c686 100644 --- a/math/stp/Makefile +++ b/math/stp/Makefile @@ -11,8 +11,7 @@ DISTVERSION= 0.1 DISTVERSIONSUFFIX= -11-18-2008 PORTREVISION= 1 CATEGORIES= math -MASTER_SITES= SF -MASTER_SITE_SUBDIR= stp-fast-prover +MASTER_SITES= SF/${PORTNAME}-fast-prover/${PORTNAME}-fast-prover/${PORTNAME}-ver-${PORTVERSION} EXTRACT_SUFX= .tgz MAINTAINER= lwhsu@FreeBSD.org |