Cannot install "electronic-lab" group on Fedora 42 due to missing dependency (libgnat-14.so for ghdl)

Tried to install electronic-lab group using dnf and got the next result:

anon@fedora:~$ sudo dnf group install electronic-lab
Updating and loading repositories:
 cloudflared-stable                                                                                        100% |  18.0 KiB/s |   3.0 KiB |  00m00s
 Hashicorp Stable - x86_64                                                                                 100% |   9.9 KiB/s |   1.5 KiB |  00m00s
 RPM Fusion for Fedora 42 - Free - Updates                                                                 100% |  12.5 KiB/s |   8.0 KiB |  00m01s
 RPM Fusion for Fedora 42 - Nonfree - Updates                                                              100% |  49.3 KiB/s |   8.2 KiB |  00m00s
 Hashicorp Stable - x86_64                                                                                 100% | 840.3 KiB/s | 352.9 KiB |  00m00s
 RPM Fusion for Fedora 42 - Free - Updates                                                                 100% |  65.2 KiB/s |  53.6 KiB |  00m01s
 RPM Fusion for Fedora 42 - Nonfree - Updates                                                              100% |  42.8 KiB/s |  36.3 KiB |  00m01s
Repositories loaded.
Failed to resolve the transaction:
Package "xorg-x11-fonts-Type1-7.5-40.fc42.noarch" is already installed.
Package "hiredis-1.2.0-6.fc42.x86_64" is already installed.
Package "kicad-1:9.0.2-2.fc42.x86_64" is already installed.
Problem: conflicting requests
  - nothing provides libgnat-14.so()(64bit) needed by ghdl-3.0.0-1.20230308git7de967c.fc40.x86_64 from fedora
You can try to add to command line:
  --skip-broken to skip uninstallable packages

Is this a bug suitable for a bug report, or am I missing something?

Addition system information:

[anon@fedora ~]$ uname -srv
Linux 6.14.9-300.fc42.x86_64 #1 SMP PREEMPT_DYNAMIC Thu May 29 14:27:53 UTC 2025
[anon@fedora ~]$ cat /etc/fedora-release
Fedora release 42 (Adams)

Thank you for attention.

P.S.
I am aware, that I can skip that package, but still I believe it is an unexpected behavior.

2338296 – F42FailsToInstall: ghdl, ghdl-llvm, ghdl-llvm-grt, ghdl-mcode, ghdl-mcode-grt

1 Like