When trying to install GHDL using 'sudo dnf install ghdl', i have this output from the terminal:

'Updating and loading repositories:
Repositories loaded.
Failed to resolve the transaction:
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'

I've tried to install the same package on a Fedora 42 container (via toolbx) and the same problem happens, so looks like the dependency for the ghdl-3.0.0-1.20230308git7de967c.fc40.x86_64 ins't on the Fedora 42 repos.

Reproducible: Always

Steps to Reproduce:
1.open the terminal
2.type 'sudo dnf install ghdl'
3.
Actual Results:
Terminal shows to me that failed to resolve the transaction, with conflicting requests
"nothing provides libgnat-14.so()(64bit) needed by ghdl-3.0.0-1.20230308git7de967c.fc40.x86_64 from fedora"

Expected Results:
Package installs normally