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 0cf9ab7c817c..9fed56db4e16 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.565 +PORTVERSION= 1.566 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 138942b22d44..fc1dd28fce56 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.565/jenkins.war) = de61b0448e532117ec54767443386ba1dd95eb90175ab8c86f4ad699a9c465e9 -SIZE (jenkins/1.565/jenkins.war) = 68120137 +SHA256 (jenkins/1.566/jenkins.war) = 1c4f360a7cfd86d58513410c3aa83afaadafa99358843452f635a37f933fca64 +SIZE (jenkins/1.566/jenkins.war) = 68128518 |