Gabriel Hondet 4a2e1e7280 gnu: Add emacs-dedukti-mode. ...

* gnu/packages/emacs.scm (emacs-dedukti-mode): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

2018-12-27 09:18:31 +01:00

..

bootloader

gnu: Add u-boot-pinebook.

2018-11-22 21:59:05 +01:00

build

vm: Re-enable KVM on i386.

2018-12-19 00:14:00 +01:00

packages

gnu: Add emacs-dedukti-mode.

2018-12-27 09:18:31 +01:00

services

services: Add quassel.

2018-12-24 11:18:36 +02:00

system

doc: Example vm-image doesn't need firmware.

2018-12-24 11:14:29 +02:00

tests

services: Add quassel.

2018-12-24 11:18:36 +02:00

artwork.scm

artwork: Clone over HTTPS.

2018-11-05 00:08:47 +01:00

bootloader.scm

…

local.mk

gnu: file: Fix CVE-2018-10360.

2018-12-24 11:12:52 +02:00

packages.scm

…

services.scm

…

system.scm

system: Fix missing space in boot labels for kernels that are inferior packages

2018-12-26 18:40:49 +01:00

tests.scm

…