Peter Mikkelsen b74f224744 gnu: idris: Update to 1.0. ...

* gnu/packages/idris.scm (idris): Update to 1.0.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>

2017-04-15 19:46:40 +02:00

..

build

vm: Reword grub.cfg to bootcfg.

2017-04-15 14:42:15 +02:00

packages

gnu: idris: Update to 1.0.

2017-04-15 19:46:40 +02:00

services

services: tor: Run in a container.

2017-04-13 00:12:42 +02:00

system

system: Pass boot-parameters to (gnu system grub).

2017-04-15 16:37:55 +02:00

tests

tests: Remove unused import (gnu system grub).

2017-04-15 15:32:25 +02:00

artwork.scm

…

local.mk

gnu: ceph: Disable failing test.

2017-04-15 18:51:00 +02:00

packages.scm

packages: Use PACKAGE@VERSION syntax when reporting ambiguities.

2017-03-08 23:42:53 +01:00

services.scm

services: Define '%linux-bare-metal-service' using 'simple-service'.

2017-04-13 00:12:42 +02:00

system.scm

system: Pass boot-parameters to (gnu system grub).

2017-04-15 16:37:55 +02:00

tests.scm

tests: Introduce 'simple-operating-system' and use it.

2017-04-01 00:45:18 +02:00