|
| From: | Ludovic Courtès |
| Subject: | bug#54936: [PATCH] gnu: polyml: Update to 5.9. |
| Date: | Tue, 19 Apr 2022 18:09:08 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi, Foo Chuan Wei <chuanwei.foo@hotmail.com> skribis: > * gnu/packages/sml.scm (polyml): Update to 5.9. > [arguments]<#:configure-flags>: Remove nonexistent options. Pushed, thanks! Ludo’.
| [Prev in Thread] | Current Thread | [Next in Thread] |