yices-devel - Development files for yices

Property Value
Distribution Fedora 31
Repository Fedora x86_64
Package filename yices-devel-2.6.1-3.fc31.i686.rpm
Package name yices-devel
Package version 2.6.1
Package release 3.fc31
Package architecture i686
Package type rpm
Homepage http://yices.csl.sri.com/
License GPLv3+
Maintainer -
Download size 38.44 KB
Installed size 149.23 KB
This package contains the header files necessary for developing programs
which use yices.


Package Version Architecture Repository
yices-devel-2.6.1-3.fc31.x86_64.rpm 2.6.1 x86_64 Fedora
yices-devel - - -


Name Value
gmp-devel(x86-32) -
libyices.so.2.6 -
yices(x86-32) = 2.6.1-3.fc31


Name Value
yices-devel = 2.6.1-3.fc31
yices-devel(x86-32) = 2.6.1-3.fc31


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package yices-devel-2.6.1-3.fc31.i686.rpm
Source Package yices-2.6.1-3.fc31.src.rpm

Install Howto

Install yices-devel rpm package:

# dnf install yices-devel




2019-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-10-30 - Jerry James <loganjerry@gmail.com> - 2.6.1-1
- New upstream version
2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-04 - Jerry James <loganjerry@gmail.com> - 2.6.0-1
- New upstream version
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-01-02 - Jerry James <loganjerry@gmail.com> - 2.5.4-2
- Add a -doc subpackage
- Fix end of line encodings
- Fix permissions on yices_debug_version.c
2018-01-01 - Jerry James <loganjerry@gmail.com> - 2.5.4-1
- Initial RPM

See Also

Package Description
yices-doc-2.6.1-3.fc31.x86_64.rpm Documentation for yices
yices-tools-2.6.1-3.fc31.x86_64.rpm Command line tools that use the yices library
ykclient-2.15-9.fc31.i686.rpm Yubikey management library and client
ykclient-2.15-9.fc31.x86_64.rpm Yubikey management library and client
ykclient-devel-2.15-9.fc31.i686.rpm Development headers and libraries for ykclient
ykclient-devel-2.15-9.fc31.x86_64.rpm Development headers and libraries for ykclient
ykpers-1.20.0-3.fc31.i686.rpm Yubikey personalization program
ykpers-1.20.0-3.fc31.x86_64.rpm Yubikey personalization program
ykpers-devel-1.20.0-3.fc31.i686.rpm Development files for ykpers
ykpers-devel-1.20.0-3.fc31.x86_64.rpm Development files for ykpers
ykushcmd-1.1.0-6.c585d24.fc31.x86_64.rpm YKUSH Boards Control Application
yokadi-1.1.1-9.fc31.noarch.rpm Command line oriented todo list system
yoshimi-1.5.10-3.fc30.x86_64.rpm Rewrite of ZynAddSubFx aiming for better JACK support
yosys-0.9-1.fc31.i686.rpm Yosys Open SYnthesis Suite, including Verilog synthesizer
yosys-0.9-1.fc31.x86_64.rpm Yosys Open SYnthesis Suite, including Verilog synthesizer