guix/gnu
Julien Lepiller d326fdb7af
gnu: coq-gappa: Update home-page.
* gnu/packages/coq.scm (coq-gappa)[home-page]: Update.
2021-11-20 00:38:55 +01:00
..
bootloader
build build: bootloader: Add GPT support. 2021-11-12 13:26:52 +00:00
home gnu: home: services: Fix typo. 2021-11-17 12:55:24 -08:00
installer
machine
packages gnu: coq-gappa: Update home-page. 2021-11-20 00:38:55 +01:00
platforms
services services: docker: Add 'environment-variables' configuration field. 2021-11-17 23:05:56 +01:00
system image: Support generating GPT images via partition-table-type. 2021-11-12 12:06:58 +00:00
tests gnu: hpcguix-web: Update to 0.2.0. 2021-11-15 17:55:50 +01:00
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 image: Support generating GPT images via partition-table-type. 2021-11-12 12:06:58 +00:00
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