Development files for yices
This package contains the header files necessary for developing programs which use yices.
Release | Stable | Testing |
---|---|---|
Fedora Rawhide | 2.6.4-12.fc41 | - |
Fedora 40 | 2.6.4-12.fc40 | - |
Fedora 39 | 2.6.4-8.fc39 | - |
Fedora 38 | 2.6.4-6.fc38 | - |
You can contact the maintainers of this package via email at
yices dash maintainers at fedoraproject dot org
.