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 0cb4766c8982..297f3277643b 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1568047225 -SHA256 (jenkins/2.194/jenkins.war) = 25e01768f8f7e2d677fdb09591e5c78f1c9b191ec8e5526f0adbed4d1dbc668a -SIZE (jenkins/2.194/jenkins.war) = 78327249 +TIMESTAMP = 1569336072 +SHA256 (jenkins/2.196/jenkins.war) = 01429fd13e05aa9bdf9021fd9010c1cc6a0d933240ae7e13f1c511ee0d1d7918 +SIZE (jenkins/2.196/jenkins.war) = 78323258 |