Maximilian Heisinger 9ddd37d6ab gnu: Add kissat. ...

* gnu/packages/maths.scm (kissat): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>

2022-08-15 15:15:11 +02:00

..

bootloader

image: Add support for 32bit UEFI.

2022-06-24 10:21:06 +02:00

build

build: marionette: Adjust QEMU Info manual reference.

2022-08-11 11:52:51 -04:00

home

home: ssh: Fix invalid value error for address-family.

2022-08-10 09:10:45 -04:00

installer

installer: Add comments and vertical space to the generated config.

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

machine

…

packages

gnu: Add kissat.

2022-08-15 15:15:11 +02:00

services

services: elogind: Fix default behavior for lid close.

2022-08-10 00:33:30 -04:00

system

gnu: system: file-systems: Add shared flag.

2022-08-10 07:12:25 +03:00

tests

tests: Add qemu-guest-agent system test.

2022-08-09 17:15:45 +02:00

artwork.scm

gnu: artwork: Update repository to latest commit.

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

bootloader.scm

…

ci.scm

build-system: Add 'channel-build-system'.

2022-08-09 15:16:06 +02:00

home.scm

home: Add 'home-generation-base'.

2022-08-01 00:02:04 +02:00

image.scm

image: Add sanitizers for 'format' and 'partition-table-type'.

2022-07-01 12:10:29 +02:00

installer.scm

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

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

local.mk

gnu: lrcalc: Update to 2.1.

2022-08-12 10:27:40 +02:00

machine.scm

…

packages.scm

…

services.scm

…

system.scm

gnu: system: Add fusermount3 to setuid-programs.

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

tests.scm

…