Julien Lepiller 925fe4b3ce gnu: coq-coquelicot: Fix for coq 8.8. ...

* gnu/packages/ocaml.scm (coq-coquelicot)[arguments]: New phase to
remove a deprecated command.

2018-05-04 21:30:58 +02:00

..

bootloader

…

build

activation: Pass '-d HOME' to 'usermod'.

2018-03-27 14:51:44 +02:00

packages

gnu: coq-coquelicot: Fix for coq 8.8.

2018-05-04 21:30:58 +02:00

services

gnu: Add sound service.

2018-05-02 15:11:13 +03:00

system

file-systems: Expound '%pseudo-file-system-types'.

2018-04-29 17:55:08 +02:00

tests

services: Add modem-manager-service-type.

2018-04-30 03:47:16 +02:00

artwork.scm

…

bootloader.scm

discovery: Remove dependency on (guix ui).

2018-04-08 17:48:33 +02:00

local.mk

gnu: Add sound service.

2018-05-02 15:11:13 +03:00

packages.scm

discovery: Remove dependency on (guix ui).

2018-04-08 17:48:33 +02:00

services.scm

discovery: Remove dependency on (guix ui).

2018-04-08 17:48:33 +02:00

system.scm

system: Provide a fall-back PATH for non-login shells started with su(1).

2018-04-11 18:45:06 -04:00

tests.scm

…