zimoun 7537ec816f gnu: coq-stdpp: Adjust '#:make-flags'. ...

* gnu/packages/coq.scm (coq-stdpp)[arguments]<#:make-flags>: Set install
destination.
<#:phases>: Remove replace 'install.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

2021-11-18 04:30:41 +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-stdpp: Adjust '#:make-flags'.

2021-11-18 04:30:41 +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: Handle 'setuid-programs' deprecation handling as a field sanitizer.

2021-08-12 12:34:13 +02:00

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