yices-tools-2.6.1-3.fc31.x86_64.rpm


Advertisement

Description

yices-tools - Command line tools that use the yices library

Property Value
Distribution Fedora 31
Repository Fedora x86_64
Package filename yices-tools-2.6.1-3.fc31.x86_64.rpm
Package name yices-tools
Package version 2.6.1
Package release 3.fc31
Package architecture x86_64
Package type rpm
Homepage http://yices.csl.sri.com/
License GPLv3+
Maintainer -
Download size 1.50 MB
Installed size 6.91 MB
Command line tools that use the yices library.

Alternatives

Package Version Architecture Repository
yices-tools - - -

Requires

Name Value
libc.so.6(GLIBC_2.14)(64bit) -
libgmp.so.10()(64bit) -
libpoly.so.0()(64bit) -
rtld(GNU_HASH) -
yices(x86-64) = 2.6.1-3.fc31

Provides

Name Value
yices-tools = 2.6.1-3.fc31
yices-tools(x86-64) = 2.6.1-3.fc31

Download

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

Install Howto

Install yices-tools rpm package:

# dnf install yices-tools

Files

Path
/usr/bin/yices
/usr/bin/yices-sat
/usr/bin/yices-smt
/usr/bin/yices-smt2
/usr/lib/.build-id/
/usr/lib/.build-id/2d/4bc15fb6e6739447416744516ceb115b23948d
/usr/lib/.build-id/53/56a3c3b0cba683b8edd48edc2d7f6053924de2
/usr/lib/.build-id/5c/6cfc83cd3f5ea49d5e421ebdc83f14066122bd
/usr/lib/.build-id/dc/cc419985fa7ec4490519cee0f5dced8c898840
/usr/share/man/man1/yices-sat.1.gz
/usr/share/man/man1/yices-smt.1.gz
/usr/share/man/man1/yices-smt2.1.gz
/usr/share/man/man1/yices.1.gz

Changelog

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
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
yosys-devel-0.9-1.fc31.i686.rpm Development files to build Yosys synthesizer plugins
yosys-devel-0.9-1.fc31.x86_64.rpm Development files to build Yosys synthesizer plugins
Advertisement
Advertisement