yices-devel-2.6.0-2.fc29.i686.rpm


Advertisement

Description

yices-devel - Development files for yices

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

Alternatives

Package Version Architecture Repository
yices-devel-2.6.1-1.fc29.x86_64.rpm 2.6.1 x86_64 Fedora Updates
yices-devel-2.6.1-1.fc29.i686.rpm 2.6.1 i686 Fedora Updates
yices-devel-2.6.1-1.fc29.i686.rpm 2.6.1 i686 Fedora Updates
yices-devel-2.6.0-2.fc29.x86_64.rpm 2.6.0 x86_64 Fedora
yices-devel-2.6.0-2.fc29.i686.rpm 2.6.0 i686 Fedora
yices-devel - - -

Requires

Name Value
gmp-devel(x86-32) -
libyices.so.2.6 -
yices(x86-32) = 2.6.0-2.fc29

Provides

Name Value
yices-devel = 2.6.0-2.fc29
yices-devel(x86-32) = 2.6.0-2.fc29

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package yices-devel-2.6.0-2.fc29.i686.rpm
Source Package yices-2.6.0-2.fc29.src.rpm

Install Howto

Install yices-devel rpm package:

# dnf install yices-devel

Files

Path
/usr/include/yices/yices.h
/usr/include/yices/yices_exit_codes.h
/usr/include/yices/yices_limits.h
/usr/include/yices/yices_types.h
/usr/lib/libyices.so

Changelog

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.0-2.fc29.x86_64.rpm Documentation for yices
yices-tools-2.6.0-2.fc29.x86_64.rpm Command line tools that use the yices library
ykclient-2.15-6.fc29.i686.rpm Yubikey management library and client
ykclient-2.15-6.fc29.x86_64.rpm Yubikey management library and client
ykclient-devel-2.15-6.fc29.i686.rpm Development headers and libraries for ykclient
ykclient-devel-2.15-6.fc29.x86_64.rpm Development headers and libraries for ykclient
ykpers-1.19.0-3.fc29.i686.rpm Yubikey personalization program
ykpers-1.19.0-3.fc29.x86_64.rpm Yubikey personalization program
ykpers-devel-1.19.0-3.fc29.i686.rpm Development files for ykpers
ykpers-devel-1.19.0-3.fc29.x86_64.rpm Development files for ykpers
ykushcmd-1.1.0-3.fc29.x86_64.rpm YKUSH Boards Control Application
yokadi-1.1.1-7.fc29.noarch.rpm Command line oriented todo list system
yoshimi-1.5.8.2-2.fc29.x86_64.rpm Rewrite of ZynAddSubFx aiming for better JACK support
yosys-0.7-8.fc28.i686.rpm Yosys Open SYnthesis Suite, including Verilog synthesizer
yosys-0.7-8.fc28.x86_64.rpm Yosys Open SYnthesis Suite, including Verilog synthesizer
Advertisement
Advertisement