Andy Patterson 9b7ee28d57 gnu: Add Poly/ML. ...

* gnu/packages/sml.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

2017-07-17 15:13:41 +02:00

..

bootloader

bootloader: Add u-boot.

2017-07-15 12:53:37 +02:00

build

build: Make ISO-9660 image bootable from USB flash drive.

2017-07-12 16:15:30 +02:00

packages

gnu: Add Poly/ML.

2017-07-17 15:13:41 +02:00

services

services: elogind: Start from the Shepherd.

2017-07-11 11:11:52 +02:00

system

gnu: Rename (gnu packages qemu) to (gnu packages virtualization).

2017-07-15 19:17:37 +08:00

tests

gnu: Rename (gnu packages qemu) to (gnu packages virtualization).

2017-07-15 19:17:37 +08:00

artwork.scm

artwork: Use a descriptive name for the source directory.

2017-06-07 15:58:16 -04:00

bootloader.scm

bootloader: Use menu-entry to define custom bootloader entries.

2017-06-08 16:29:29 +02:00

local.mk

gnu: Add Poly/ML.

2017-07-17 15:13:41 +02:00

packages.scm

packages: Add 'specifications->manifest'.

2017-06-11 23:05:23 +02:00

services.scm

services: Make error message less scary.

2017-07-11 00:48:50 +02:00

system.scm

system: Use "@" to refer to the 'shadow' package.

2017-06-30 11:27:30 +02:00

tests.scm

bootloader: Add extlinux support.

2017-05-16 14:41:01 +02:00