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 ffa141c8cceb..1777a2691f1e 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.581 +PORTVERSION= 1.583 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 cbb847d5d430..dd0f9855c92c 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.581/jenkins.war) = 010578bb2fbb80b1ad29b01dc9bb20bd06addd6cf0bbebd103c48a688bebc30e -SIZE (jenkins/1.581/jenkins.war) = 67789860 +SHA256 (jenkins/1.583/jenkins.war) = 18a6c81317f4943a9ac563b44414c746ed5ae48f3378bccb8ca937aa6be5b07e +SIZE (jenkins/1.583/jenkins.war) = 67867388 |