Arnaud Daby-Seesaram b594c2b154 gnu: proof-general: Update to 4.5@cb23709a. ...

* gnu/packages/coq.scm (proof-general): Update to 4.5@cb23709a.

Change-Id: Ieb33d8a0effa4c010d1f2488e166cd0647240180
Signed-off-by: Christopher Baines <mail@cbaines.net>

2024-06-26 15:16:43 +01:00

..

bootloader

bootloader: Add u-boot-starfive-visionfive2-bootloader.

2024-05-22 11:15:30 +08:00

build

file-systems: Add support for mounting CIFS file systems

2024-06-04 12:08:34 +02:00

home

home: services: Add home-startx-command-service-type.

2024-05-30 22:40:54 +01:00

installer

system: Remove nss-certs from OS templates, adjust doc.

2024-04-18 10:43:06 -04:00

machine

file-systems: Add support for mounting CIFS file systems

2024-06-04 12:08:34 +02:00

packages

gnu: proof-general: Update to 4.5@cb23709a.

2024-06-26 15:16:43 +01:00

services

services: web: Improve nginx formatting for extra-content.

2024-06-26 15:11:52 +01:00

system

services: base: Add optional delayed mount of file-systems

2024-06-04 12:08:34 +02:00

tests

tests: libvirt-test: Give the libvirt service time to start.

2024-06-17 08:36:12 +03:00

artwork.scm

…

bootloader.scm

…

ci.scm

ci: Add cross-compilation jobs for x86_64-linux-gnux32.

2024-06-13 08:53:20 +02:00

compression.scm

…

home.scm

system, home: Validate ‘services’ field value.

2024-03-22 11:40:33 +01:00

image.scm

…

installer.scm

gnu: linux-libre: Enable Zstd compression of kernel modules.

2024-05-29 22:01:23 -04:00

local.mk

gnu: gnulib: Update to 2024-05-30-1.ac4b301.

2024-06-24 08:51:45 -04:00

machine.scm

…

packages.scm

…

services.scm

system, home: Validate ‘services’ field value.

2024-03-22 11:40:33 +01:00

system.scm

system: Do not delete all nss-certs packages when they are the same object.

2024-05-15 22:53:31 -04:00

tests.scm

…