diff options
author | Benoit Steiner <benoit.steiner.goog@gmail.com> | 2016-02-03 15:49:55 -0800 |
---|---|---|
committer | Manjunath Kudlur <keveman@gmail.com> | 2016-02-04 07:27:20 -0800 |
commit | 477dc94f262e11d0f4651e5fb94eb8cb3dd6e74e (patch) | |
tree | 019e9535c0ce95245a4b505855570d18388bdefa /WORKSPACE | |
parent | 937ed32c6ecf4be1177e8bcbce2596aa28345613 (diff) |
Upgraded to the latest version of Eigen that brings misc performance and
stability improvements
Change: 113791782
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/b455544.tar.gz", - sha256 = "d388d3fcb7e2ed5e4ec466f320b472b8803e556f46fab5e085ae70a90f7efa05", + url = "https://bitbucket.org/eigen/eigen/get/8cd7c2c.tar.gz", + sha256 = "30b77010c49a28875c76f5941cab06d0e15c52dc193be9729def53b6ea1fdb57", build_file = "eigen.BUILD", ) |