Brett Gilio 59265e5ff4 gnu: coq-flocq: Use HTTPS home page URI. ... * gnu/packages/coq.scm (coq-flocq)[home-page]: Use HTTPS URI.		2020-01-06 21:05:08 -06:00
..
bootloader	Adjust module autoloads.	2020-01-06 16:31:54 +01:00
build	activation: Check whether /proc/sys/kernel/modprobe exists.	2020-01-06 16:31:54 +01:00
installer
machine
packages	gnu: coq-flocq: Use HTTPS home page URI.	2020-01-06 21:05:08 -06:00
services	Adjust module autoloads.	2020-01-06 16:31:54 +01:00
system	system: linux-container: Recommend guix container.	2020-01-06 12:20:21 +02:00
tests
artwork.scm
bootloader.scm
ci.scm
installer.scm
local.mk
machine.scm
packages.scm	Adjust module autoloads.	2020-01-06 16:31:54 +01:00
services.scm
system.scm
tests.scm