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 528fc5d78187..04e4c9ad00ef 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.512 +PORTVERSION= 1.514 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 edd772f540fe..ce8b690d397e 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.512/jenkins.war) = ad978f64679ff3b9c469bc9c2254050bd59841ace4ea8a112d19c401ed0a4a24 -SIZE (jenkins/1.512/jenkins.war) = 53864418 +SHA256 (jenkins/1.514/jenkins.war) = a1511e3926dbead09f9f4cf7a3f81e0953a415e070d800c04755ae8efd056475 +SIZE (jenkins/1.514/jenkins.war) = 56824686 |