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 676cb32a4af0..6427a348deb0 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,5 +1,5 @@ PORTNAME= jenkins -PORTVERSION= 2.402 +PORTVERSION= 2.403 CATEGORIES= devel java MASTER_SITES= https://get.jenkins.io/war/${PORTVERSION}/ DISTNAME= jenkins diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index f3507f052d0f..520ea5093cca 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1682496049 -SHA256 (jenkins/2.402/jenkins.war) = 9cb5c7939691ef21b5bf84f1ff7001323ece76d0fea1743bf8195708384ebe6b -SIZE (jenkins/2.402/jenkins.war) = 98359470 +TIMESTAMP = 1683038952 +SHA256 (jenkins/2.403/jenkins.war) = 30df8e6c5f04e89e31d53a48cb9df340c22fd3c54c0f14efc494da95c083ffc7 +SIZE (jenkins/2.403/jenkins.war) = 98365587 |