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 ce11601005bb..5b883dbc99be 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.638 +PORTVERSION= 1.639 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 35f3035a5d1b..f3c23797cf2b 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.638/jenkins.war) = 08d60e5f7db3cb4cb650a647dea60d4e1cb285a379bf3d3de0f62309854d7dcd -SIZE (jenkins/1.638/jenkins.war) = 63586592 +SHA256 (jenkins/1.639/jenkins.war) = 96d16bd30172afda64c49a03447f89813fa5f0dad6a8ce98af4384d61b7ebdc4 +SIZE (jenkins/1.639/jenkins.war) = 63602201 |