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 8c336a8c4885..3e195d405350 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jenkins -PORTVERSION= 1.476 +PORTVERSION= 1.482 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 ced42ed02171..671e451341e2 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.476/jenkins.war) = 8de572ae5fa8c61832fc707e78500585c7a3528233c5175cdb6e67bd44065780 -SIZE (jenkins/1.476/jenkins.war) = 48989347 +SHA256 (jenkins/1.482/jenkins.war) = fdde159a3556ae2a6474e977165f3bdfeacb661771c871b2b1854a2d5904f177 +SIZE (jenkins/1.482/jenkins.war) = 49069650 |