diff options
Diffstat (limited to 'devel/jenkins/distinfo')
| -rw-r--r-- | devel/jenkins/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index 57cfdc7a3003..40272e0f1160 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.500/jenkins.war) = bac89a7e85346db354e9ef402af5b6fc61153a7499d60bc6b43abe29520da002 -SIZE (jenkins/1.500/jenkins.war) = 49023791 +SHA256 (jenkins/1.501/jenkins.war) = 5ce5389c71dd23c3c88c5240ad1a74ba257810e532ed1b3768b3b0b1ad1c6ae1 +SIZE (jenkins/1.501/jenkins.war) = 49001475 |