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 60f24776470c..6a03f7f8f7d8 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.651 +PORTVERSION= 1.652 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 09597fd22b15..958395528398 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.651/jenkins.war) = 9fe9382e1443bb27de55dce15850bc0a0890d8aa837c3839fcf4407e1f7e4993 -SIZE (jenkins/1.651/jenkins.war) = 64606932 +SHA256 (jenkins/1.652/jenkins.war) = 5d06f14d1035bc5eb6b77ebae90efc0f87de905ff04505dec30eea0eddd3ac27 +SIZE (jenkins/1.652/jenkins.war) = 64618097 |