Julien Lepiller b7971ff798 gnu: lablgtk3: Update to 3.1.2. ... * gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2. [arguments]: Do not build extensions anymore (missing dependency) * gnu/packages/games.scm (laby)[inputs]: Use `ocaml-lablgtk3-sourceview3'. * gnu/packages/maths.scm (frama-c)[inputs]: Use `ocaml-lablgtk3-sourceview3'. * gnu/packages/coq.scm (coq-ide)[inputs]: Use `ocaml-lablgtk3-sourceview3'.		2022-09-22 07:34:02 +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: lablgtk3: Update to 3.1.2.	2022-09-22 07:34:02 +02:00
services	services: desktop: Mount /var/lib/gdm on a tmpfs file system.	2022-09-16 16:27:08 -04:00
system	system: install: Do not load amdgpu in the installer image.	2022-09-16 10:14:39 +02:00
tests
artwork.scm
bootloader.scm
ci.scm
home.scm
image.scm
installer.scm
local.mk	gnu: r-httpuv: Update to 1.6.6.	2022-09-20 17:02:09 +02:00
machine.scm
packages.scm
services.scm
system.scm
tests.scm