Description of problem: The c development header file for cadial is not present, only the c++ one. How reproducible: Try to include ccadical.h Actual results: include not found Expected results: include found Additional info: add to %install: cp -p src/ccadical.h %{buildroot}%{_includedir} add to %files devel: %{_includedir}/c%{name}.h
FEDORA-2019-d87c86bac4 has been submitted as an update to Fedora 30. https://bodhi.fedoraproject.org/updates/FEDORA-2019-d87c86bac4
cadical-1.0.3-2.fc30 has been pushed to the Fedora 30 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2019-d87c86bac4
FEDORA-2019-d03acc263f has been submitted as an update to Fedora 30. https://bodhi.fedoraproject.org/updates/FEDORA-2019-d03acc263f
cadical-1.0.3-3.fc30, cvc4-1.7-3.fc30 has been pushed to the Fedora 30 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2019-d03acc263f
cadical-1.0.3-3.fc30, cvc4-1.7-3.fc30 has been pushed to the Fedora 30 stable repository. If problems still persist, please make note of it in this bug report.