This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.

pukkamustard db7c87e070 gnu: Update coq-coquelicot to 3.4.0. ... * gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I14c18abdbb7bebea75ac26be9c4c1954778cef22		2024-02-08 23:15:20 +01:00
..
bootloader	bootloader: grub: Add support for loading an additional initrd.	2024-01-14 23:00:03 +01:00
build	…
home	home: Add home-dotfiles-service.	2024-01-28 22:50:49 +01:00
installer	…
machine	…
packages	gnu: Update coq-coquelicot to 3.4.0.	2024-02-08 23:15:20 +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	…
local.mk	gnu: libgeotiff: Fix build with proj 9.3.1.	2024-02-07 13:41:57 +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	…