Tobias Geerinckx-Rice ed017a78be gnu: coq: Update to 8.8.1. ... * gnu/packages/ocaml.scm (coq): Update to 8.8.1.		2018-09-15 03:36:36 +02:00
..
bootloader	gnu: Rename "banana-pi" to "bananapi".	2018-09-14 21:31:24 +02:00
build
packages	gnu: coq: Update to 8.8.1.	2018-09-15 03:36:36 +02:00
services	services: hpcguix-web: Produce a log file and rotate it.	2018-09-10 12:12:52 +02:00
system	gnu: Rename "banana-pi" to "bananapi".	2018-09-14 21:31:24 +02:00
tests	services: tailon: Move to (gnu services web).	2018-09-10 12:12:50 +02:00
artwork.scm
bootloader.scm
local.mk	gnu: OpenSSL 1.1: Update to 1.1.1.	2018-09-14 16:51:49 -04:00
packages.scm
services.scm	services: 'instantiate-missing-services' reaches fixed point.	2018-09-07 23:00:39 +02:00
system.scm
tests.scm