Fedora Packages

cadical-devel Subpackage of cadical

Development files for cadical

Library links and header files for developing applications that use cadical.

Releases Overview

Release Stable Testing
Fedora Rawhide 1.9.5-1.fc41 -
Fedora 40 1.9.5-1.fc40 1.9.5-1.fc40
Fedora 39 1.9.4-1.fc39 -
Fedora 38 1.5.3-2.fc38 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at cadical dash maintainers at fedoraproject dot org.



Sources on Pagure