diff options
Diffstat (limited to 'devel')
| -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 6d65f79c3925..0827669f1652 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.622 +PORTVERSION= 1.623 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 0be3e9eb218f..85d3a7c9e9e9 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.622/jenkins.war) = e219546e9db0bdf913ceee04ab3f79fcbbb27ac7ca27619d184b82f93457b899 -SIZE (jenkins/1.622/jenkins.war) = 62881823 +SHA256 (jenkins/1.623/jenkins.war) = 49c0f43f9e18b233de9506e7a23b86e215f76ea9f2b1fc392a5775d137f13f38 +SIZE (jenkins/1.623/jenkins.war) = 62880943 |