Foo Chuan Wei f03e08699c gnu: 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>		2022-04-19 18:07:49 +02:00
..
bootloader
build
home
installer
machine
packages	gnu: polyml: Update to 5.9.	2022-04-19 18:07:49 +02:00
platforms
services	services: yggdrasil: Tweak description.	2022-04-19 12:29:43 +02:00
system
tests
artwork.scm
bootloader.scm
ci.scm
home.scm
image.scm
installer.scm
local.mk	gnu: openjdk15: Make big cursors work.	2022-04-18 12:58:57 +02:00
machine.scm
packages.scm
platform.scm
services.scm
system.scm
tests.scm