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 9d94cbef9f29..4d495cee334b 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 2.195 +PORTVERSION= 2.196 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 c0b626dd4b8f..297f3277643b 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1568970492 -SHA256 (jenkins/2.195/jenkins.war) = 3ad0913a442c7521c0e72da27e7afcae26c732cec028881963374e0c5fd1f0be -SIZE (jenkins/2.195/jenkins.war) = 78319303 +TIMESTAMP = 1569336072 +SHA256 (jenkins/2.196/jenkins.war) = 01429fd13e05aa9bdf9021fd9010c1cc6a0d933240ae7e13f1c511ee0d1d7918 +SIZE (jenkins/2.196/jenkins.war) = 78323258 |