Julien Lepiller 45e6889455

gnu: Add ocaml-ppx-stable-witness. ...

* gnu/packages/ocaml.scm (ocaml-ppx-stable-witness): New variable.

Change-Id: I697c87ec27f0c218de1419ab699e14f7dffa3ca0

2024-02-08 23:16:33 +01:00

..

bootloader

bootloader: grub: Add support for loading an additional initrd.

2024-01-14 23:00:03 +01:00

build

chromium-extension: Compute json at argument evaluation time.

2023-12-27 17:18:52 +01:00

home

home: Add home-dotfiles-service.

2024-01-28 22:50:49 +01:00

installer

…

machine

…

packages

gnu: Add ocaml-ppx-stable-witness.

2024-02-08 23:16:33 +01:00

services

services: kernel-module-lodaer: Add udev requirement.

2024-02-05 14:04:15 +08:00

system

linux-container: Inherit essential services.

2024-02-05 22:29:45 +01:00

tests

gnu: Remove linux-libre 4.14.

2024-01-22 13:24:20 -05:00

artwork.scm

…

bootloader.scm

bootloader: grub: Add support for loading an additional initrd.

2024-01-14 23:00:03 +01:00

ci.scm

ci: Don't cross compile to or1k-elf.

2024-01-23 21:45:36 +01:00

compression.scm

…

home.scm

…

image.scm

scripts: system: Build layered images.

2024-01-08 21:22:44 +03:00

installer.scm

gnu: Adjust to removing ed.scm and nano.scm

2023-12-25 19:58:21 +02:00

local.mk

gnu: coq: Update to 8.17.1.

2024-02-08 23:15:44 +01:00

machine.scm

…

packages.scm

…

services.scm

…

system.scm

system: hurd: Use the Shepherd 0.10.x.

2024-01-08 23:14:46 +01:00

tests.scm

…