summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/ratpoints-sturm_and_rp_private.patch
AgeCommit message (Expand)Author
2025-02-13gnu: Remove ratpoints.Andreas Enge
2019-06-19gnu: Add ratpoints.Nicolas Goaziou