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 5f8d4d6fadcd..4823bb8ec331 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1567006707 -SHA256 (jenkins/2.192/jenkins.war) = d88954d034012837df890e8a626061662b7ae5665a43136439652b00a207b971 -SIZE (jenkins/2.192/jenkins.war) = 78257602 +TIMESTAMP = 1567589365 +SHA256 (jenkins/2.193/jenkins.war) = 516d8fd3ef9a6c622079a0b200419f5c7039b3cc9de5d473410111b0f45c8985 +SIZE (jenkins/2.193/jenkins.war) = 78246752 |