guix-play/gnu
Foo Chuan Wei fe7856b6ed
gnu: smlnj: Use HTTPS home page.
* gnu/packages/sml.scm (smlnj)[home-page]: Use HTTPS.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-06-01 23:28:20 +02:00
..
bootloader
build image: Add fat32 support. 2022-05-31 14:51:13 +02:00
home
installer Revert "installer: user: Remove useless filtering." 2022-05-21 00:15:08 +02:00
machine
packages gnu: smlnj: Use HTTPS home page. 2022-06-01 23:28:20 +02:00
services gnu: Remove wicd. 2022-05-31 14:53:42 -04:00
system gnu: Remove wicd. 2022-05-31 14:53:42 -04:00
tests services: openssh: Listen on both IPv4 and IPv6. 2022-05-22 21:56:40 +02:00
artwork.scm
bootloader.scm
ci.scm Move (gnu platform) and (gnu platforms ...) to guix/. 2022-05-25 09:27:25 +02:00
home.scm
image.scm Move (gnu platform) and (gnu platforms ...) to guix/. 2022-05-25 09:27:25 +02:00
installer.scm
local.mk gnu: Remove unreferenced patch. 2022-06-01 22:55:27 +03:00
machine.scm
packages.scm
services.scm gnu: services: Update setuid service description. 2022-05-29 02:00:19 +02:00
system.scm system: Improve warning when using LUKS mapped devices without UUIDs. 2022-05-21 00:12:31 -04:00
tests.scm