diff options
Diffstat (limited to 'devel/ppl/Makefile')
-rw-r--r-- | devel/ppl/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile index 2c846c8b01f9..1241ff1dad74 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -7,8 +7,8 @@ # PORTNAME= ppl -PORTVERSION= 0.4.2 -PORTREVISION= 1 +PORTVERSION= 0.5 +PORTREVISION= 0 CATEGORIES= devel MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/%SUBDIR%/ \ http://www.cs.unipr.it/ppl/Download/ftp/releases/%SUBDIR%/ |