Julien Lepiller 556ccb4ae1 gnu: coq: Update to 8.15.1. ... * gnu/packages/coq.scm (coq): Update to 8.15.1.		2022-05-01 13:14:57 +02:00
..
bootloader
build
home	home: shells: Migrate fish to xdg-configuration-files.	2022-04-29 18:07:16 +02:00
installer
machine
packages	gnu: coq: Update to 8.15.1.	2022-05-01 13:14:57 +02:00
platforms
services	services: guix-publish: Use socket activation when possible.	2022-04-29 22:59:08 +02:00
system
tests	tests: Fix tailon test.	2022-05-01 12:53:53 +02:00
artwork.scm
bootloader.scm
ci.scm
home.scm
image.scm
installer.scm
local.mk
machine.scm
packages.scm
platform.scm
services.scm
system.scm
tests.scm