Julien Lepiller 6efc999678 gnu: Update coq-interval to 3.3.0. ... * gnu/packages/ocaml.scm (coq-interval): Update to 3.3.0. [inputs]: Add coq-bignums.		2017-10-22 10:21:25 +02:00
..
bootloader
build	file-systems: Add support for FAT16.	2017-10-11 11:12:33 +02:00
packages	gnu: Update coq-interval to 3.3.0.	2017-10-22 10:21:25 +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
local.mk	gnu: libvirt: Fix CVE-2017-1000256.	2017-10-20 15:36:43 -04:00
packages.scm
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