Robin Green 599f8d98cf gnu: coq-stdpp: Update to 1.4.0. ...

* gnu/packages/coq.scm (coq-stdpp): Update to 1.4.0.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>

2020-09-08 15:46:26 +03:00

..

bootloader

bootloader: Use "define" instead of "define*" for all records.

2020-09-07 00:19:54 +02:00

build

linux-boot: Handle nfs-root device strings.

2020-09-07 11:00:48 +02:00

installer

installer: Run the installation inside a container.

2020-09-02 17:05:23 +02:00

machine

linux-boot: Handle nfs-root device strings.

2020-09-07 11:00:48 +02:00

packages

gnu: coq-stdpp: Update to 1.4.0.

2020-09-08 15:46:26 +03:00

services

installer: Run the installation inside a container.

2020-09-02 17:05:23 +02:00

system

install: Factorize cow-store procedure.

2020-09-02 17:05:22 +02:00

tests

tests: nfs: Improve "nfs-root-fs".

2020-09-07 18:58:39 +02:00

artwork.scm

…

bootloader.scm

…

ci.scm

ci: In the 'core' subset, build GCC >= 7.

2020-09-03 23:26:53 +02:00

image.scm

…

installer.scm

Remove "guile-zlib" extension when unused.

2020-08-25 12:39:11 +02:00

local.mk

gnu: Add npiet.

2020-09-05 22:50:56 +03:00

machine.scm

utils: Move <location> and '&error-location' to (guix diagnostics).

2020-07-25 19:11:36 +02:00

packages.scm

packages: 'generate-package-cache' is deterministic.

2020-07-30 19:17:20 +02:00

services.scm

Remove "guile-zlib" extension when unused.

2020-08-25 12:39:11 +02:00

system.scm

linux-boot: Handle nfs-root device strings.

2020-09-07 11:00:48 +02:00

tests.scm

utils: Move <location> and '&error-location' to (guix diagnostics).

2020-07-25 19:11:36 +02:00