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 b69580278d84..9f62ee3d82df 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.536 +PORTVERSION= 1.537 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 9c1734f9b461..e42d700f6a45 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.536/jenkins.war) = 5c36590da8d9694ffac0807caa01aa13f25b98d78dbbc0d79259a1cffe8aff4e -SIZE (jenkins/1.536/jenkins.war) = 66722447 +SHA256 (jenkins/1.537/jenkins.war) = 411973e8196a61445eb4ef8284975ef4be638738aa806e39fc7bdb08c6d5c261 +SIZE (jenkins/1.537/jenkins.war) = 66739013 |