Julien Lepiller 33af92dd99 gnu: Move coq packages from ocaml to coq. ... * gnu/packages/ocaml.scm (coq, proof-general, coq-flocq, coq-gappa, coq-mathcomp) (coq-coquelicot, coq-bignums, coq-interval): Move from here... * gnu/packages/coq.scm: ... to here. New file.		2019-01-07 22:05:37 +01:00
..
bootloader	…
build	vm: Re-enable KVM on i386.	2018-12-19 00:14:00 +01:00
packages	gnu: Move coq packages from ocaml to coq.	2019-01-07 22:05:37 +01:00
services	services: gdm: Enable auto-start.	2018-12-30 10:20:41 +01:00
system	doc: Example vm-image doesn't need firmware.	2018-12-24 11:14:29 +02:00
tests	gnu: php-with-bcmath: Deprecate in favour of 'php'.	2019-01-01 18:57:56 +03:00
artwork.scm	…
bootloader.scm	…
ci.scm	hydra: Compute jobs in an inferior.	2019-01-06 21:41:07 +01:00
local.mk	gnu: biber: Update to 2.12.	2019-01-07 15:40:58 +01:00
packages.scm	…
services.scm	…
system.scm	system: Fix missing space in boot labels for kernels that are inferior packages	2018-12-26 18:40:49 +01:00
tests.scm	…