Julien Lepiller 3ffd180cc5 gnu: Update coq-coquelicot to 3.0.1. ... * gnu/packages/ocaml.scm (coq-coquelicot): Update to 3.0.1.		2017-10-22 10:21:19 +02:00
..
bootloader
build
packages	gnu: Update coq-coquelicot to 3.0.1.	2017-10-22 10:21:19 +02:00
services
system	vm: Always use GRUB/i386.	2017-10-19 23:21:49 +02:00
tests
artwork.scm
bootloader.scm
local.mk	gnu: libvirt: Fix CVE-2017-1000256.	2017-10-20 15:36:43 -04:00
packages.scm
services.scm
system.scm
tests.scm