diff options
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/jenkins/Makefile | 3 | ||||
| -rw-r--r-- | devel/jenkins/distinfo | 4 |
2 files changed, 3 insertions, 4 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index f00349e1e0bf..3e1b957dae21 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -6,8 +6,7 @@ # PORTNAME= jenkins -PORTVERSION= 1.407 -PORTREVISION= 1 +PORTVERSION= 1.409 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 49b9864b2997..6031e5b9be6f 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.407/jenkins.war) = a54b1cdbdc05ca3e087a5576c84b7baaf254616c38575eeeff4f6a0e7db9ed2b -SIZE (jenkins/1.407/jenkins.war) = 38783477 +SHA256 (jenkins/1.409/jenkins.war) = e4f6fbaef4c48d05b85dfafa2036f62ab95779b2c043332590cf2dc05c1a1e20 +SIZE (jenkins/1.409/jenkins.war) = 38593352 |