Tobias Geerinckx-Rice dd8237b6c3 gnu: coq-flocq: Use predictable source URI. ... * gnu/packages/ocaml.scm (coq-flocq)[source]: Use predictable URI.		2018-03-23 11:32:15 +01:00
..
bootloader
build	glob: Add an extra glob pattern compilation stage.	2018-03-18 22:57:17 +01:00
packages	gnu: coq-flocq: Use predictable source URI.	2018-03-23 11:32:15 +01:00
services	gnu: shepherd: Update to 0.4.0.	2018-03-22 11:43:30 +01:00
system	vm: Display a backtrace upon error by default.	2018-03-18 22:34:40 +01:00
tests	gnu: mcron: Update to 1.1 and deprecate "mcron2".	2018-03-19 23:19:49 +01:00
artwork.scm
bootloader.scm
local.mk	gnu: Add lyx.	2018-03-22 23:11:17 +01:00
packages.scm
services.scm
system.scm	gnu: util-linux: Fix CVE-2018-7738 without grafting.	2018-03-20 17:14:22 -04:00
tests.scm