/etc/git/

n-heading-color.css'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/sml.scm
AgeCommit message (Expand)Author
2022-04-19gnu: polyml: Update to 5.9....* gnu/packages/sml.scm (polyml): Update to 5.9. [arguments]<#:configure-flags>: Remove nonexistent options. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Foo Chuan Wei