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 1e49f6fa9cc6..baa5bd21e187 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.632 +PORTVERSION= 1.633 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 081c6302588e..095dc6cc2063 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.632/jenkins.war) = 9bca55e5b0ee8fd0ba82e55cd9c51ba8d68e0fa61e047218e48ca90435ca9d23 -SIZE (jenkins/1.632/jenkins.war) = 63211059 +SHA256 (jenkins/1.633/jenkins.war) = 15d930888bfb31ea231bf617bf88aeb281a5f0488385f555d34c439d308cb2e8 +SIZE (jenkins/1.633/jenkins.war) = 63242255 |