Julien Lepiller a440e905fd gnu: coq-gappa: Update to 1.5.2. ... * gnu/packages/coq.scm (coq-gappa): Update to 1.5.2.		2022-09-22 07:34:37 +02:00
..
bootloader
build	linux-container: 'container-excursion*' marks its FDs as FD_CLOEXEC.	2022-09-20 19:24:31 +02:00
home
installer
machine
packages	gnu: coq-gappa: Update to 1.5.2.	2022-09-22 07:34:37 +02:00
services
system
tests
artwork.scm
bootloader.scm
ci.scm
home.scm
image.scm
installer.scm
local.mk
machine.scm
packages.scm
services.scm
system.scm
tests.scm