summary refs log tree commit diff
path: root/gnu/packages/patches/python-flint-includes.patch
AgeCommit message (Expand)Author
2019-03-19gnu: Add python-flint.Andreas Enge