diff options
-rw-r--r-- | devel/jenkins/Makefile | 2 | ||||
-rw-r--r-- | devel/jenkins/distinfo | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index 9c922f2be52a..7503dc695673 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.646 +PORTVERSION= 1.647 CATEGORIES= devel java MASTER_SITES= http://mirrors.jenkins-ci.org/war/${PORTVERSION}/ DISTNAME= jenkins diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index bfa19630ed78..2166630681fb 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.646/jenkins.war) = 2b892d363e1ce88e4d3a37e7d5c17c0be5bce902b3b98e6e0ebfe0d2d509f2d4 -SIZE (jenkins/1.646/jenkins.war) = 63352963 +SHA256 (jenkins/1.647/jenkins.war) = 52778609d34cb532c934509bb2a63c77986ae8e9b7e85186bad0235f58e4200f +SIZE (jenkins/1.647/jenkins.war) = 63359416 |