Garek Dyszel 501072af86 gnu: Add coq-mathcomp-bigenough. ...

* gnu/packages/coq.scm (coq-mathcomp-bigenough): New variable.

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

2022-09-24 20:24:47 +02:00

..

bootloader

gnu: bootloader: grub: Add support for chain-loader.

2022-09-08 22:30:09 +02:00

build

linux-container: Mark socket pair as SOCK_CLOEXEC.

2022-09-24 17:59:04 +02:00

home

home: shepherd: Add daemonize? option to configuration.

2022-09-14 18:25:11 +03:00

installer

installer: tests: Fix typo.

2022-09-24 14:15:47 +02:00

machine

Fix misspelling of GUIX_DIGITAL_OCEAN_TOKEN.

2022-09-04 17:57:02 +02:00

packages

gnu: Add coq-mathcomp-bigenough.

2022-09-24 20:24:47 +02:00

services

services: Add wsdd service.

2022-09-24 09:41:24 +02:00

system

system: images: Add wsl2 module.

2022-09-24 14:49:09 +02:00

tests

services: Add wsdd service.

2022-09-24 09:41:24 +02:00

artwork.scm

gnu: artwork: Update repository to latest commit.

2022-08-11 11:55:19 -04:00

bootloader.scm

gnu: bootloader: Report error in menu-entry.

2022-09-08 22:30:43 +02:00

ci.scm

gnu: Add compression module.

2022-09-24 14:49:09 +02:00

compression.scm

gnu: Add compression module.

2022-09-24 14:49:09 +02:00

home.scm

home: Fix docstring.

2022-08-19 18:55:41 +03:00

image.scm

system: image: Add wsl2 support.

2022-09-24 14:49:09 +02:00

installer.scm

installer: Render the final configuration with (guix read-print).

2022-08-08 11:54:24 +02:00

local.mk

system: images: Add wsl2 module.

2022-09-24 14:49:09 +02:00

machine.scm

…

packages.scm

…

services.scm

services: provenance: Use 'current-channels' to obtain provenance data.

2022-08-30 00:40:04 +02:00

system.scm

gnu: system: Add fusermount3 to setuid-programs.

2022-07-14 15:16:23 -04:00

tests.scm

…