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 8f663ac4f16e..dee42f48c283 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.539 +PORTVERSION= 1.540 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 945aed5a2f91..f0a671da6e34 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.539/jenkins.war) = 0f610b395dfd5555afce08da86b3123d88c73cc87a732d593e90106e76715650 -SIZE (jenkins/1.539/jenkins.war) = 67609980 +SHA256 (jenkins/1.540/jenkins.war) = a1b2544bfe289d74020eb5a5cad2bc637a50339254f337fdf3ec98b1650d75cf +SIZE (jenkins/1.540/jenkins.war) = 65686598 |