diff options
Diffstat (limited to 'devel/jenkins/distinfo')
| -rw-r--r-- | devel/jenkins/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index 3f99762..3bc5e44b 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1490597889 -SHA256 (jenkins/2.52/jenkins.war) = 7a78fc8b3f1eacd45891d052f7fa03471a60b9df52213b4ee948e05834cffc38 -SIZE (jenkins/2.52/jenkins.war) = 68800962 +TIMESTAMP = 1493264495 +SHA256 (jenkins/2.57/jenkins.war) = 5d7a66864d0941629e1fb8ef82ed98a38e54da39f4a9f3ca31561d573e18b2a5 +SIZE (jenkins/2.57/jenkins.war) = 70476328 |
