Julien Lepiller 2e331c9c43 gnu: Update coq-mathcomp to 1.6.2. ... * gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2.		2017-10-22 10:21:16 +02:00
..
bootloader	system: Introduce a disjoint UUID type.	2017-09-11 22:24:46 +02:00
build	file-systems: Add support for FAT16.	2017-10-11 11:12:33 +02:00
packages	gnu: Update coq-mathcomp to 1.6.2.	2017-10-22 10:21:16 +02:00
services	services: gnome: Register more polkit actions.	2017-10-11 23:00:46 +02:00
system	vm: Always use GRUB/i386.	2017-10-19 23:21:49 +02:00
tests	tests: databases: Add a simple test for MySQL.	2017-10-08 17:31:49 +01:00
artwork.scm	…
bootloader.scm	bootloader: Emit warnings with 'warning'.	2017-08-28 09:56:33 +02:00
local.mk	gnu: libvirt: Fix CVE-2017-1000256.	2017-10-20 15:36:43 -04:00
packages.scm	packages: 'fold-packages' takes an optional 'modules' parameter.	2017-09-01 10:29:39 +02:00
services.scm	services: cleanup: Remove Shadow lock files from /etc.	2017-10-12 17:51:41 +02:00
system.scm	system: operating-system-etc-service: Set XCURSOR_PATH.	2017-10-10 10:22:08 +02:00
tests.scm	gnu: bootloader: Deprecate "device" field in favor of "target".	2017-08-23 22:23:19 +02:00