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 baa5bd21e187..143d83eb517b 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.633 +PORTVERSION= 1.634 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 095dc6cc2063..545dd5a7bbdb 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.633/jenkins.war) = 15d930888bfb31ea231bf617bf88aeb281a5f0488385f555d34c439d308cb2e8 -SIZE (jenkins/1.633/jenkins.war) = 63242255 +SHA256 (jenkins/1.634/jenkins.war) = 47f9bd9dd3ee400c62905173a9d65605653a10a339e1d593f0b2e0f7456b1d9a +SIZE (jenkins/1.634/jenkins.war) = 63310617 |