summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/eigen-remove-openmp-error-counting.patch
AgeCommit message (Expand)Author
2020-11-23gnu: eigen: Add upstream bugfix patch.Tobias Geerinckx-Rice