zimoun 4423caece6 gnu: coq-equations: Adjust '#:make-flags'. ... * gnu/packages/coq.scm (coq-equations)[arguments]<#:make-flags>: Set install destination. <#:phases>: Remove replace 'install. Signed-off-by: Julien Lepiller <julien@lepiller.eu>		2021-11-18 04:25:38 +01:00
..
bootloader	Migrate to the new 'targets' field of bootloader-configuration.	2021-08-29 01:05:26 -04:00
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	installer: Reorder file system type listbox.	2021-10-21 22:08:24 +02:00
machine	Migrate to the new 'targets' field of bootloader-configuration.	2021-08-29 01:05:26 -04:00
packages	gnu: coq-equations: Adjust '#:make-flags'.	2021-11-18 04:25:38 +01:00
platforms	gnu: Add platform support.	2021-10-11 12:05:39 +00:00
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	ci: Allow manifests to contain any lowerable object.	2021-10-04 16:36:59 +02:00
home.scm	Move (gnu home-services) to (gnu home services).	2021-10-09 19:24:18 +03:00
image.scm	image: Support generating GPT images via partition-table-type.	2021-11-12 12:06:58 +00:00
installer.scm	installer: Support XFS.	2021-09-23 18:17:18 +02:00
local.mk	gnu: aws-checksums: Replace patch.	2021-11-16 16:59:52 +01:00
machine.scm
packages.scm
platform.scm	gnu: Add platform support.	2021-10-11 12:05:39 +00:00
services.scm
system.scm	gnu: system: Improve location of some configuration warnings.	2021-11-17 23:05:58 +01:00
tests.scm	Migrate to the new 'targets' field of bootloader-configuration.	2021-08-29 01:05:26 -04:00