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 8401aa0459c4..0b1811a710c2 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,2 +1,2 @@ -SHA256 (jenkins/1.530/jenkins.war) = 2d9289b69e5baba94173625f7b175ede4e39c1c6600ffed74d32b251c5ed8ebb -SIZE (jenkins/1.530/jenkins.war) = 63416534 +SHA256 (jenkins/1.531/jenkins.war) = 95170a9c343c1607e3d59b7b450223aa2ceef684cebaa73ca933ffae79ec3134 +SIZE (jenkins/1.531/jenkins.war) = 62953726 |