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 53fb463cc26a..304183c2d6c4 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.547 +PORTVERSION= 1.548 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 53e27c40380b..d73056acb507 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.547/jenkins.war) = e8e11089df2331de368de38030134dfd3b9a2c38beffb52e3af9b30a9bddcca9 -SIZE (jenkins/1.547/jenkins.war) = 67054081 +SHA256 (jenkins/1.548/jenkins.war) = d2b86d29588abe589fb6684338ff41a63fa498f971b6dec79bfc4778b88b0035 +SIZE (jenkins/1.548/jenkins.war) = 67070340 |