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 3a2e17b0528d..15870f0d8864 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.572 +PORTVERSION= 1.573 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 b06983d72002..32bf43940cd4 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.572/jenkins.war) = b4c1499ac8abfc533aea20c5fa43cd1b23e1386505e077a9c3b43b135dd414ab -SIZE (jenkins/1.572/jenkins.war) = 67847853 +SHA256 (jenkins/1.573/jenkins.war) = 1f4b8e041ed8e4337accf8ce2667a53ea603e52836eaeb5ca611b5cc7bbe0471 +SIZE (jenkins/1.573/jenkins.war) = 67857368 |