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 e4ce759293b2..6f9812718ac9 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jenkins -PORTVERSION= 1.471 +PORTVERSION= 1.472 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 dfec7081d4fb..fc1b3f6e9f7d 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.471/jenkins.war) = 9843ef61e62052186aab80e3f058e4da1a8eeff14c1e5f4db0529b6481a35a34 -SIZE (jenkins/1.471/jenkins.war) = 48939049 +SHA256 (jenkins/1.472/jenkins.war) = 8c840fe6c5a0bfd7e26f4c0ac0973021bdbaf8323cc733d64c585718931ee94a +SIZE (jenkins/1.472/jenkins.war) = 48963133 |