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 9369534dcedd..7dac47612dab 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,5 +1,5 @@ PORTNAME= jenkins -PORTVERSION= 2.306 +PORTVERSION= 2.307 CATEGORIES= devel java MASTER_SITES= http://mirrors.jenkins.io/war/${PORTVERSION}/ DISTNAME= jenkins diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index da374e88b0b0..20ca08f9fbbe 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1628604316 -SHA256 (jenkins/2.306/jenkins.war) = 51663780626a80134c0970ad6b6f9e0000c8772b0e1e3b452a902809b7f7288e -SIZE (jenkins/2.306/jenkins.war) = 72324161 +TIMESTAMP = 1629206278 +SHA256 (jenkins/2.307/jenkins.war) = e1f73c7fc6060dfb0eca64ac8aaed36d91c747219d35eff3653889ddf8edff2c +SIZE (jenkins/2.307/jenkins.war) = 71815110 |