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 ef2c1cee5638..1fff0046aa5f 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= jenkins -PORTVERSION= 1.574 +PORTVERSION= 1.575 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 2132ca2b134b..e654324faa3a 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.574/jenkins.war) = aa328f1bb8009a45d172f340b2ad8c78534f5b09a1775d24adbcf5feed7840c5 -SIZE (jenkins/1.574/jenkins.war) = 67859698 +SHA256 (jenkins/1.575/jenkins.war) = 5f73bbfbeb1b53cb9697248537fd65963e9a5c1b9c62261851d947b32fe40a05 +SIZE (jenkins/1.575/jenkins.war) = 67875958 |