diff options
Diffstat (limited to 'devel/jenkins')
| -rw-r--r-- | devel/jenkins/Makefile | 2 | ||||
| -rw-r--r-- | devel/jenkins/distinfo | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index ad098400706d..da72ef022579 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jenkins -PORTVERSION= 1.458 +PORTVERSION= 1.462 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 53e6618f3440..cd047ef44f0c 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.458/jenkins.war) = 6facd94e958ecf68ffd28be371b5efcb5584c885b5f32a906e477f5f62bdb518 -SIZE (jenkins/1.458/jenkins.war) = 50483931 +SHA256 (jenkins/1.462/jenkins.war) = 820816cf2ca028e9107afcfd92337215376b67600040b011570b6ce9a166026c +SIZE (jenkins/1.462/jenkins.war) = 50714954 |