Julien Lepiller 8a338de276 gnu: coq-flocq: Update to 4.0.0. ...

* gnu/packages/coq.scm (coq-flocq): Update to 4.0.0.

2022-02-11 10:32:24 +01:00

..

bootloader

…

build

build: image: Account for fixed-size file system structures.

2022-02-07 16:22:37 -05:00

home

home: Add redshift service.

2022-02-07 00:05:59 +01:00

installer

installer: Use system-wide guix for system init.

2022-02-02 16:46:44 +01:00

machine

…

packages

gnu: coq-flocq: Update to 4.0.0.

2022-02-11 10:32:24 +01:00

platforms

…

services

services: gdm-service-type: Require elogind.

2022-02-10 23:17:48 +01:00

system

Revert kernel modules changes to support the Coreboot framebuffer

2022-02-09 01:38:51 -05:00

tests

services: guix: Add nar-herder-service-type.

2022-01-31 18:28:16 +00:00

artwork.scm

…

bootloader.scm

…

ci.scm

…

home.scm

…

image.scm

…

installer.scm

installer: Use system-wide guix for system init.

2022-02-02 16:46:44 +01:00

local.mk

gnu: Add openboardview.

2022-02-09 14:37:42 -05:00

machine.scm

gnu: Fix typo.

2022-02-08 13:34:02 +01:00

packages.scm

…

platform.scm

…

services.scm

…

system.scm

…

tests.scm

…