Cayetano Santos 67829193d8 gnu: yosys: Update to 0.65. ...

* gnu/packages/electronics.scm (yosys): Update to 0.65.
[native-inputs]: Update yosys-slang.
[arguments]<#:phases>: Add ’remove-aiger.
<#:test-target>: Replace ’vanilla-test by ’all.
<#:make-flags>: Enable functional tests.

Change-Id: I55f2dc4b7fbeaf295270c9cf75a7590cd0196576

2026-05-17 12:41:29 +02:00

..

bootloader

gnu: grub: Also search for multiboot kernel.

2026-05-10 18:44:27 +02:00

build

gnu: hurd: Fix second boot.

2026-05-13 20:42:37 +02:00

home

gnu: home-services: Add config options to ssh.

2026-05-16 00:42:25 +02:00

installer

…

machine

machine: hetzner: Refine installation with bind mount in rescue.

2026-05-11 20:31:36 +09:00

packages

gnu: yosys: Update to 0.65.

2026-05-17 12:41:29 +02:00

services

services: bffe-shepherd-services: Fix detection of guile.

2026-05-11 14:31:03 +02:00

system

system: virtualized-operating-system: Fix version comparison.

2026-05-16 19:43:55 +08:00

tests

tests: install: Increase memory for installation of desktops.

2026-04-29 13:09:26 +02:00

artwork.scm

…

bootloader.scm

…

ci.scm

ci: Extend the ‘%core-packages’ set.

2026-03-25 23:51:25 +01:00

compression.scm

…

home.scm

…

image.scm

…

installer.scm

…

local.mk

gnu: fdroidcl: Update to 0.8.1.

2026-05-17 11:02:07 +01:00

machine.scm

…

packages.scm

gnu: %find-package: Allow supressing supersession info.

2026-04-03 16:26:51 +08:00

services.scm

…

system.scm

system: hurd: Fix fsck.

2026-05-13 20:42:36 +02:00

tests.scm

tests: Add ‘modules’ and ‘select?’ parameters to ‘fold-system-tests’.

2026-05-16 00:42:25 +02:00