diff options
-rw-r--r-- | devel/jenkins/Makefile | 2 | ||||
-rw-r--r-- | devel/jenkins/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index ef0bff8c8d26..64f4962d2a42 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 2.81 +PORTVERSION= 2.82 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 9afbdf15279a..98e3a010c362 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1506580567 -SHA256 (jenkins/2.81/jenkins.war) = 6cdb8912f63b19bad5f87e9200babb8926ab1a1a480998b1f54d4a215c354338 -SIZE (jenkins/2.81/jenkins.war) = 73097494 +TIMESTAMP = 1506948547 +SHA256 (jenkins/2.82/jenkins.war) = d6babda3a28e108eaa2a897a5484c35a10ade4e837b69e1510d71c0ecda94c0e +SIZE (jenkins/2.82/jenkins.war) = 73421362 |