Brett Gilio d2884b7fef gnu: coq-stdpp: Update to 1.2.1. ...

* gnu/packages/coq.scm (coq-stdpp): Update to 1.2.1.
[arguments]: Remove redundant COQLIB variable.

2020-01-07 13:02:36 -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

installer: Add JFS support.

2020-01-05 02:40:07 +01:00

machine

machine: Remove unnecessary record self-referencing bindings.

2019-12-08 00:47:26 +01:00

packages

gnu: coq-stdpp: Update to 1.2.1.

2020-01-07 13:02:36 -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

tests: install: Test a JFS root file system.

2020-01-03 13:54:13 +01:00

artwork.scm

…

bootloader.scm

system: Add 'bootloader-menu-entries' field to <boot-parameters>.

2019-08-30 01:33:45 +02:00

ci.scm

ci: Make sure the Guix checkout is the one providing Cuirass proc.

2019-12-01 11:26:11 +01:00

installer.scm

installer: Add JFS support.

2020-01-05 02:40:07 +01:00

local.mk

gnu: appstream-glib: Fix test failure.

2020-01-07 18:18:12 +01:00

machine.scm

machine: Remove unnecessary record self-referencing bindings.

2019-12-08 00:47:26 +01:00

packages.scm

Adjust module autoloads.

2020-01-06 16:31:54 +01:00

services.scm

services: Add 'provenance-service-type'.

2019-12-07 00:59:56 +01:00

system.scm

services: Add 'provenance-service-type'.

2019-12-07 00:59:56 +01:00

tests.scm

gexp: Allow character literals in GEXP->SEXP.

2019-12-18 22:36:37 +01:00