Brett Gilio f24dc27149 gnu: coq-gappa: Update to 1.4.2. ...

* gnu/packages/coq.scm (coq-gappa): Update to 1.4.2.
[source]: Use GIT-FETCH and GIT-FILE-NAME.
[native-inputs]: Add autoconf and automake for remake, as well as campl5 for
parsing.
[propagated-inputs]: coq-gabba now depends on coq-flocq.
[arguments]: Temporarily disable check chase until error resolution is identified.

2020-01-06 21:05:49 -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-gappa: Update to 1.4.2.

2020-01-06 21:05:49 -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

…

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: libtgvoip: Fix failing build on i686-linux.

2020-01-05 19:31:07 -06: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