diff options
Diffstat (limited to 'devel/jenkins')
| -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 f46c4e135924..b8a153c3df8d 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.656 +PORTVERSION= 2.3 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 c95e232aada9..352f568eb497 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.656/jenkins.war) = 97085359725b16aca0f419486e5c1809399e33dbe6d906cd55ef82fad76fb30d -SIZE (jenkins/1.656/jenkins.war) = 64685657 +SHA256 (jenkins/2.3/jenkins.war) = e1a17311776daee38cb1c3a5e687140f39b8dc922d142f4b9c457803f76aa974 +SIZE (jenkins/2.3/jenkins.war) = 66587456 |