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 4a97bd07473e..22a1ca655531 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1510232725 -SHA256 (jenkins/2.89/jenkins.war) = e7551f166479b54135e2255f42decc2cce7a28150e3d345dd28c8e049486b71d -SIZE (jenkins/2.89/jenkins.war) = 74281498 +TIMESTAMP = 1513272037 +SHA256 (jenkins/2.95/jenkins.war) = 1b0ab9c06133117a920fe0928aa642c59634e3ea47f950073c7ae13275d7f522 +SIZE (jenkins/2.95/jenkins.war) = 74275142 |