The Installation of msolve-devel should install flint-devel, as an "installing dependency".
Indeed, the header files of flint are required to compile any code based on msolve.h

The package flint-devel is missing in the requirement (Requires) of the package msolve-devel.
The package flint-devel appears only in the section "BuildRequires".
The package flint-devel should also appear in the section "Requires".




Reproducible: Always

Steps to Reproduce:
1. #From a fresh installation, install the packages msolve-devel and gcc 
dnf -y install gcc msolve-devel 

2. #Create a simple test program
cat >driver_msolve.c <<__EOF
#include "msolve/msolve.h"

int main() { return 0; }
__EOF

3. # Compile this code 
gcc  driver_msolve.c -o driver_msolve

Actual Results:
In file included from /usr/include/msolve/msolve.h:24,
                 from driver_msolve.c:1:
/usr/include/msolve/msolve-data.h:25:9: fatal error: flint/fmpz.h: No such file or directory
   25 | #include<flint/fmpz.h>
      |         ^~~~~~~~~~~~~~
compilation terminated.

Expected Results:
The step 3 should be sucessful. no error should be raised by gcc.


Additional Information:
The problem also occurs on fedora 42 and fedora rawhide

The problem is solved if the user installs also flint-devel:
dnf install flint-devel.

To fix the problem, flint-devel should be added to the section "Requires".