Thomas Danckaert 52b2d666ca gnu: kdevelop: Update to 5.1.0. ... * gnu/packages/kde.scm (kdevelop, kdevplatform): Update to 5.1.0.		2017-04-05 12:12:34 +02:00
..
build	Merge branch 'master' into core-updates	2017-03-15 17:52:26 +01:00
packages	gnu: kdevelop: Update to 5.1.0.	2017-04-05 12:12:34 +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: gnupg: Update to 2.1.20.	2017-04-04 17:46:28 +02: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