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 a094c199c7bf..19b6e4b05bc6 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 2.62 +PORTVERSION= 2.63 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 1a00425d9820..3ecee811d5f5 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1495510380 -SHA256 (jenkins/2.62/jenkins.war) = b0778a1763e582ecbbece698e9ef78b45579ef8945db0198fe02295de8da15b7 -SIZE (jenkins/2.62/jenkins.war) = 71196975 +TIMESTAMP = 1496166375 +SHA256 (jenkins/2.63/jenkins.war) = 299919595f6c2f86ba92a8bcfabf3d58e23362468eb846401a7346a1d8fa8b08 +SIZE (jenkins/2.63/jenkins.war) = 71195138 |