Julien Lepiller 5f7fb8bd37 gnu: coq-flocq: Update home-page. ... * gnu/packages/coq.scm (coq-flocq)[home-page]: Update.		2021-11-20 00:36:08 +01:00
..
bootloader
build
home	gnu: home: services: Fix typo.	2021-11-17 12:55:24 -08:00
installer
machine
packages	gnu: coq-flocq: Update home-page.	2021-11-20 00:36:08 +01:00
platforms
services	services: docker: Add 'environment-variables' configuration field.	2021-11-17 23:05:56 +01:00
system
tests
artwork.scm
bootloader.scm	gnu: system: Improve location of some configuration warnings.	2021-11-17 23:05:58 +01:00
ci.scm
home.scm
image.scm
installer.scm
local.mk	gnu: Add shell2batch.	2021-11-18 23:35:37 +01:00
machine.scm
packages.scm
platform.scm
services.scm
system.scm	gnu: system: Improve location of some configuration warnings.	2021-11-17 23:05:58 +01:00
tests.scm