Tobias Geerinckx-Rice 2368225019 gnu: metamath: Update to 0.193. ... * gnu/packages/maths.scm (metamath): Update to 0.193.		2020-12-01 20:55:42 +01:00
..
bootloader
build
installer
machine
packages	gnu: metamath: Update to 0.193.	2020-12-01 20:55:42 +01:00
services	Use substitute servers on the local network.	2020-11-29 15:08:26 +01:00
system
tests
artwork.scm
bootloader.scm
ci.scm	Revert "ci: Temporarily disable image-jobs."	2020-12-01 09:33:16 +01:00
image.scm
installer.scm
local.mk	gnu: clisp: Remove unused patch.	2020-12-01 11:52:34 +01:00
machine.scm
packages.scm
services.scm	services: profile: Create manifest at monadic-bind time.	2020-12-01 00:10:48 +01:00
system.scm
tests.scm