diff options
Diffstat (limited to 'math/stp/Makefile')
-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 |