Vivien Kraus 1cd3eb66b1 gnu: frama-c: depend on zlib ...

* gnu/packages/maths.scm (frama-c) [inputs]: Add zlib.

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

2023-07-17 21:30:08 +02:00

..

bootloader

bootloader: grub: Use rumpdisk-style root when booting with "noide".

2023-07-13 18:59:13 +02:00

build

hurd-boot: Cater for netdde.

2023-07-13 18:59:57 +02:00

home

home: services: bash: Properly quote shell aliases.

2023-07-11 15:47:56 +02:00

installer

installer: Restore LatGrkCyr-8x16 console font depending on language.

2023-07-06 15:38:58 +02:00

machine

…

packages

gnu: frama-c: depend on zlib

2023-07-17 21:30:08 +02:00

services

services: static-networking: Support netdde for the Hurd.

2023-07-13 19:00:05 +02:00

system

system: hurd: Add netdde to %base-packages/hurd.

2023-07-13 19:00:02 +02:00

tests

gnu: lightdm: Apply patch to fix VNC server address binding ordering.

2023-07-09 22:51:08 -04:00

artwork.scm

…

bootloader.scm

…

ci.scm

…

compression.scm

…

home.scm

…

image.scm

…

installer.scm

…

local.mk

gnu: oath-toolkit: Update to 2.6.9.

2023-07-09 02:00:09 +02:00

machine.scm

…

packages.scm

…

services.scm

services: Check if service is #f before applying clause.

2023-06-06 13:38:35 +02:00

system.scm

system: hurd: Boot with pci.arbiter and rumpdisk.

2023-07-13 18:59:06 +02:00

tests.scm

…