guix-kreyren/gnu
Julien Lepiller 9140a4dd1d
gnu: coq-mathcomp: Update to 1.15.0.
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.15.0.
2022-09-22 07:34:40 +02:00
..
bootloader
build linux-container: 'container-excursion*' marks its FDs as FD_CLOEXEC. 2022-09-20 19:24:31 +02:00
home home: shepherd: Add daemonize? option to configuration. 2022-09-14 18:25:11 +03:00
installer
machine
packages gnu: coq-mathcomp: Update to 1.15.0. 2022-09-22 07:34:40 +02:00
services services: desktop: Mount /var/lib/gdm on a tmpfs file system. 2022-09-16 16:27:08 -04:00
system system: install: Do not load amdgpu in the installer image. 2022-09-16 10:14:39 +02:00
tests
artwork.scm
bootloader.scm
ci.scm
home.scm
image.scm
installer.scm
local.mk gnu: r-httpuv: Update to 1.6.6. 2022-09-20 17:02:09 +02:00
machine.scm
packages.scm
services.scm
system.scm
tests.scm