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 0b1811a710c2..dfe7a8d3b5f3 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.531/jenkins.war) = 95170a9c343c1607e3d59b7b450223aa2ceef684cebaa73ca933ffae79ec3134 -SIZE (jenkins/1.531/jenkins.war) = 62953726 +SHA256 (jenkins/1.532/jenkins.war) = 9ae26a021d3772cf6cc8f9f2eaf44fb65ec4735acccf58567b3076c5ab24672d +SIZE (jenkins/1.532/jenkins.war) = 62968056 |