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 1612842a2a83..8602d01d6fff 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.494 +PORTVERSION= 1.496 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 d0d2b130ab99..7e0ddc9b5f05 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.494/jenkins.war) = 89ffb4e0d843b5494c1708f3fa3847fff390e503771386faead3a70198d718d6 -SIZE (jenkins/1.494/jenkins.war) = 48627163 +SHA256 (jenkins/1.496/jenkins.war) = 4e909927b6e257f6a4f4ad8cec1370643ed8d95025d9f7eecb7b9c99cdc4ec5d +SIZE (jenkins/1.496/jenkins.war) = 48657322 |