Julien Lepiller 3c44aa2b74

gnu: coq-stdpp: Update to 1.5.0. ...

* gnu/packages/coq.scm (coq-stdpp): Update to 1.5.0.

2021-07-31 23:06:14 +02:00

..

bootloader

gnu: bootloader: Fix install-allwinner64-u-boot.

2021-05-29 21:25:13 -07:00

build

services: setuid: More configurable setuid support.

2021-07-29 11:32:08 -04:00

installer

installer: Unconditionally import (gnu services cups) in config.scm.

2021-07-04 13:04:45 +02:00

machine

services: openssh: Replace 'without-password' by 'prohibit-password'.

2021-06-20 16:44:08 +02:00

packages

gnu: coq-stdpp: Update to 1.5.0.

2021-07-31 23:06:14 +02:00

services

services: Migrate to <setuid-program>.

2021-07-29 11:32:48 -04:00

system

system: Add (gnu system setuid).

2021-07-29 13:09:48 -04:00

tests

installer: tests: Expect but do not select other services by default.

2021-07-04 13:04:45 +02:00

artwork.scm

…

bootloader.scm

…

ci.scm

ci: Add bootstrap packages to the core subset.

2021-07-09 14:12:15 +02:00

image.scm

…

installer.scm

…

local.mk

gnu: racket: Unbundle racket-minimal.

2021-07-31 01:03:25 +02:00

machine.scm

…

packages.scm

…

services.scm

services: setuid: More configurable setuid support.

2021-07-29 11:32:08 -04:00

system.scm

services: Migrate to <setuid-program>.

2021-07-29 11:32:48 -04:00

tests.scm

…