diff options
Diffstat (limited to 'devel/jenkins')
| -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 ef4f74bb02c1..46a55e1d4e4c 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.544 +PORTVERSION= 1.545 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 79effef8859c..3a00e81702f4 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.544/jenkins.war) = a841635f07cd145fc9396abfc41c8810ec0d86b3846b05b9c85b7048ac1648fa -SIZE (jenkins/1.544/jenkins.war) = 66150602 +SHA256 (jenkins/1.545/jenkins.war) = 9159c2eb03fb2d6f858d7f6c5bc606087f1b151d4074c673fc03772ff83c4c61 +SIZE (jenkins/1.545/jenkins.war) = 66177217 |