diff options
| -rw-r--r-- | devel/jenkins/Makefile | 2 | ||||
| -rw-r--r-- | devel/jenkins/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index 3d1e7a58923e..089d0f0ed9eb 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 2.46 +PORTVERSION= 2.47 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 634845310f02..5aff5a69ceb9 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1487042322 -SHA256 (jenkins/2.46/jenkins.war) = 7deb88ace238d5eaa676fab74bcb81b5951a6fb8c042af90082c48aee2dd8134 -SIZE (jenkins/2.46/jenkins.war) = 68663046 +TIMESTAMP = 1487568234 +SHA256 (jenkins/2.47/jenkins.war) = df8203812375f9ba6cfc4d5a3ef278836fe00973f5e02a8326b8141ece56cc24 +SIZE (jenkins/2.47/jenkins.war) = 68676619 |