diff options
-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 90294880468b..4191b175e7a6 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.640 +PORTVERSION= 1.641 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 2d02d8687d52..8945776a2369 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.640/jenkins.war) = 0bf4e9a53f1088ec9f3d8e1797929bd4fba36733e701152ea6db0c9b64a5fee6 -SIZE (jenkins/1.640/jenkins.war) = 63660649 +SHA256 (jenkins/1.641/jenkins.war) = f7656c38fe4e3c11b58ab506512655dd6dd3c69275de61442cfc9f9c3ebf5b93 +SIZE (jenkins/1.641/jenkins.war) = 63662610 |