Ricardo Wurmus 133cba8cb5 gnu: armadillo: Update to 7.800.2. ... * gnu/packages/maths.scm (armadillo): Update to 7.800.2.		2017-04-06 14:39:22 +02:00
..
build
packages	gnu: armadillo: Update to 7.800.2.	2017-04-06 14:39:22 +02:00
services	services: cuirass: Wait for networking.	2017-04-05 00:53:03 +02:00
system	system: grub: Don't attempt to load non-EFI modules on EFI.	2017-03-25 22:50:24 +01:00
tests	tests: Add GNU dicod test.	2017-04-01 00:45:18 +02:00
artwork.scm
local.mk	gnu: Move audacity to audio.scm.	2017-04-05 15:08:14 -04:00
packages.scm
services.scm
system.scm
tests.scm	tests: Introduce 'simple-operating-system' and use it.	2017-04-01 00:45:18 +02:00