guix/gnu
Liliana Marie Prikler adf85671c8
gnu: swi-prolog: Update to 8.5.20.
* gnu/packages/prolog.scm (swi-prolog): Update to 8.5.20.
2023-03-12 08:53:46 +01:00
..
bootloader
build file-systems: Validate 'no-diratime flag. 2023-02-26 01:00:07 +01:00
home home: services: Add 'pulseaudio-rtp-sink' and 'pulseaudio-rtp-source'. 2023-03-05 23:06:55 +01:00
installer
machine
packages gnu: swi-prolog: Update to 8.5.20. 2023-03-12 08:53:46 +01:00
services services: xorg: Deprecate 'screen-locker-service' procedure. 2023-03-10 14:49:58 +01:00
system system: Update skeleton gdbinit. 2023-03-07 16:35:20 +02:00
tests services: dbus: Deprecate 'dbus-service' procedure. 2023-03-03 17:55:35 +01:00
artwork.scm
bootloader.scm
ci.scm
compression.scm
home.scm
image.scm
installer.scm
local.mk gnu: evdi: Fix build with linux-libre 6.2. 2023-03-11 11:36:19 -05:00
machine.scm
packages.scm
services.scm
system.scm services: base: Deprecate 'host-name-service' procedure. 2023-03-03 17:55:31 +01:00
tests.scm