diff options
-rw-r--r-- | devel/porttools/Makefile | 2 | ||||
-rw-r--r-- | devel/porttools/distinfo | 2 | ||||
-rw-r--r-- | ports-mgmt/porttools/Makefile | 2 | ||||
-rw-r--r-- | ports-mgmt/porttools/distinfo | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/devel/porttools/Makefile b/devel/porttools/Makefile index 32387b5c38e9..4ba876069278 100644 --- a/devel/porttools/Makefile +++ b/devel/porttools/Makefile @@ -6,7 +6,7 @@ # PORTNAME= porttools -PORTVERSION= 0.20 +PORTVERSION= 0.25 CATEGORIES= devel MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} diff --git a/devel/porttools/distinfo b/devel/porttools/distinfo index 9b8536d39c36..28bbb6edb03d 100644 --- a/devel/porttools/distinfo +++ b/devel/porttools/distinfo @@ -1 +1 @@ -MD5 (porttools-0.20.tar.gz) = 07af78a8ea49823dee3fc3f07afd1949 +MD5 (porttools-0.25.tar.gz) = 6c8f385892e6c981ae89cfeec95c4adc diff --git a/ports-mgmt/porttools/Makefile b/ports-mgmt/porttools/Makefile index 32387b5c38e9..4ba876069278 100644 --- a/ports-mgmt/porttools/Makefile +++ b/ports-mgmt/porttools/Makefile @@ -6,7 +6,7 @@ # PORTNAME= porttools -PORTVERSION= 0.20 +PORTVERSION= 0.25 CATEGORIES= devel MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} diff --git a/ports-mgmt/porttools/distinfo b/ports-mgmt/porttools/distinfo index 9b8536d39c36..28bbb6edb03d 100644 --- a/ports-mgmt/porttools/distinfo +++ b/ports-mgmt/porttools/distinfo @@ -1 +1 @@ -MD5 (porttools-0.20.tar.gz) = 07af78a8ea49823dee3fc3f07afd1949 +MD5 (porttools-0.25.tar.gz) = 6c8f385892e6c981ae89cfeec95c4adc |