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 3e3636216990..78d2d296d74e 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,5 +1,5 @@ PORTNAME= jenkins -PORTVERSION= 2.404 +PORTVERSION= 2.405 CATEGORIES= devel java MASTER_SITES= https://get.jenkins.io/war/${PORTVERSION}/ DISTNAME= jenkins diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index d00c19ef219a..bc16bc4ae0f9 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1683647448 -SHA256 (jenkins/2.404/jenkins.war) = c11e0391a46708680b35ed2abb47a6b513d0a1541bba1549779abbcdb313f996 -SIZE (jenkins/2.404/jenkins.war) = 94777217 +TIMESTAMP = 1684261797 +SHA256 (jenkins/2.405/jenkins.war) = 6f60864e8baa0e3f61a7d0640a0217718a8b06e7eb91971e11c20c479e64371f +SIZE (jenkins/2.405/jenkins.war) = 93583273 |