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 4d699aa096c5..b1b2bb4f4a11 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,5 +1,5 @@ PORTNAME= jenkins -PORTVERSION= 2.411 +PORTVERSION= 2.412 CATEGORIES= devel java MASTER_SITES= https://get.jenkins.io/war/${PORTVERSION}/ DISTNAME= jenkins diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index bc582acb8b71..50a9ffcb9ba7 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1687278521 -SHA256 (jenkins/2.411/jenkins.war) = e67fb5670069ac6a48822bbf0b01317044f745ce05d2cb03d48825ee4c4e9160 -SIZE (jenkins/2.411/jenkins.war) = 89245050 +TIMESTAMP = 1687873289 +SHA256 (jenkins/2.412/jenkins.war) = a54e3f1f70e95954f57e169dbc53207f062a67c48b8d14b8f94a640215e3847a +SIZE (jenkins/2.412/jenkins.war) = 89247073 |