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 d79b303b71fa..b7db2fd2c922 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.502 +PORTVERSION= 1.503 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 8a7033194478..76a7c6ec8e8f 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.502/jenkins.war) = 1ff9ccc717be382d0cff23addc88dc2c5f891922130e0df134d3a16ab791fb0c -SIZE (jenkins/1.502/jenkins.war) = 52894406 +SHA256 (jenkins/1.503/jenkins.war) = e7555482c4f3d180ef8e885d791877696c4fc310fa7b696b8eaf9db5c7655d51 +SIZE (jenkins/1.503/jenkins.war) = 52891723 |