diff options
author | Vijay Vasudevan <vrv@google.com> | 2016-01-24 23:05:22 -0800 |
---|---|---|
committer | Vijay Vasudevan <vrv@google.com> | 2016-01-24 23:06:20 -0800 |
commit | 9b70316263eb74476ab96b7c0f300c4d90223425 (patch) | |
tree | d10e30463edbc10e5225b80a90579abb00da87cf /WORKSPACE | |
parent | 87af568b0b3e920d91cdb2114fd3f40d8b9504a9 (diff) |
Running our linter on a lot of files.
Change: 112920860
Diffstat (limited to 'WORKSPACE')
-rw-r--r-- | WORKSPACE | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -21,8 +21,8 @@ new_http_archive( new_http_archive( name = "eigen_archive", - url = "https://bitbucket.org/eigen/eigen/get/fb2fa05.tar.gz", - sha256 = "8aacd8065d52528af1a22d6b72925dbb6b9fb8f25e46769481dd06d3edf63bbd", + url = "https://bitbucket.org/eigen/eigen/get/c8e5d09.tar.gz", + sha256 = "be61d1ce686e950d9a3a61b2aa83562ba4582ce1813e475869146e0a05915857", build_file = "eigen.BUILD", ) |