Commit Graph

4 Commits

Author SHA1 Message Date
Robert Schumacher
1a296f33e6 [theia] Avoid injecting ceres[suitesparse] into 32-bit ci builds 2018-04-04 16:51:10 -07:00
Arkady Shapkin
5715b6023b [theia] Fix build (#3141) 2018-04-02 19:32:08 -07:00
Alexander Karatarakis
cb239b92c0 Fix several port hashes due to github tar.gz change
It looks like github changed the version (or the generally the way)
they do tars, causing some hash mismatches. This fixes the affected
ports.
2017-09-12 13:32:26 -07:00
Arkady Shapkin
2ff2c1562a [theia] Initial commit 2017-07-20 13:12:24 +03:00