summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/mars-install.patch
AgeCommit message (Expand)Author
2023-05-02gnu: mars: Update to commit 84664cda....Eric Bavier
2015-10-11gnu: Add MARS....Ricardo Wurmus