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 57c2991cbd0f..041c12976964 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jenkins -PORTVERSION= 1.400 +PORTVERSION= 1.401 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 40d2e595d8ce..7d2fd5cdfb5a 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.400/jenkins.war) = 0da4b2b9e6ca7f25c1ed627ed61f48fdd2d79351f394b94c7fdcf43ab849f7f5 -SIZE (jenkins/1.400/jenkins.war) = 36615268 +SHA256 (jenkins/1.401/jenkins.war) = 649a4ea86bf26116b57bf68ae0ec03553859cc8832efe27cd979bbc8c7c0c7a7 +SIZE (jenkins/1.401/jenkins.war) = 36652345 |