diff options
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/jenkins/Makefile | 8 | ||||
| -rw-r--r-- | devel/jenkins/distinfo | 4 |
2 files changed, 3 insertions, 9 deletions
diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index fff4a2e76458..15fbe2de0df0 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,13 +1,7 @@ -# New ports collection makefile for: jenkins -# Date created: 2011-03-03 -# Whom: Li-Wen Hsu <lwhsu@FreeBSD.org> -# # $FreeBSD$ -# PORTNAME= jenkins -PORTVERSION= 1.482 -PORTREVISION= 1 +PORTVERSION= 1.485 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 671e451341e2..d33a3945a0b0 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.482/jenkins.war) = fdde159a3556ae2a6474e977165f3bdfeacb661771c871b2b1854a2d5904f177 -SIZE (jenkins/1.482/jenkins.war) = 49069650 +SHA256 (jenkins/1.485/jenkins.war) = 1fd2d7f217bb351a16860b945ed5f3cd5e332ba5b3864448597425e95487d60e +SIZE (jenkins/1.485/jenkins.war) = 49132862 |