summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/flint-ldconfig.patch
Commit message (Expand)AuthorAge
* gnu: flint: Update to 2.5.2.Andreas Enge2015-08-14