B. Wilson 0a7acf95db gnu: metamath: Update to 0.192. ...

* gnu/packages/maths.scm (metamath): Update to 0.192.

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

2020-09-08 12:12:36 +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: metamath: Update to 0.192.

2020-09-08 12:12:36 +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

…

packages.scm

…

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

…