diff options
author | Benoit Steiner <benoit.steiner.goog@gmail.com> | 2016-01-29 09:58:27 -0800 |
---|---|---|
committer | Vijay Vasudevan <vrv@google.com> | 2016-01-29 20:15:28 -0800 |
commit | d041dfa7adfe1a24957f1e6866286d13c3ad5b8f (patch) | |
tree | 4edb7be0c2686b6c06fc46879393eb4c0a4450ad /WORKSPACE | |
parent | ab33cd7106935bdda8f9fa298bf9bbd1877970c2 (diff) |
Backported several changes from the upstream version of Eigen
Change: 113371678
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/b455544.tar.gz", + sha256 = "d388d3fcb7e2ed5e4ec466f320b472b8803e556f46fab5e085ae70a90f7efa05", build_file = "eigen.BUILD", ) |