z3-libs-4.7.1-5.fc29.i686.rpm


Advertisement

Description

z3-libs - Library for applications that use z3 functionality

Property Value
Distribution Fedora 29
Repository Fedora x86_64
Package filename z3-libs-4.7.1-5.fc29.i686.rpm
Package name z3-libs
Package version 4.7.1
Package release 5.fc29
Package architecture i686
Package type rpm
Homepage https://github.com/Z3Prover/z3
License MIT
Maintainer -
Download size 8.45 MB
Installed size 25.55 MB
Library for applications that use z3 functionality.

Alternatives

Package Version Architecture Repository
z3-libs-4.7.1-5.fc29.x86_64.rpm 4.7.1 x86_64 Fedora
z3-libs-4.7.1-5.fc29.i686.rpm 4.7.1 i686 Fedora
z3-libs - - -

Requires

Name Value
libc.so.6(GLIBC_2.4) -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libgcc_s.so.1(GCC_3.4) -
libgcc_s.so.1(GCC_7.0.0) -
libgcc_s.so.1(GLIBC_2.0) -
libgmp.so.10 -
libgomp.so.1 -
libgomp.so.1(GOMP_1.0) -
libgomp.so.1(GOMP_4.0) -
libgomp.so.1(OMP_1.0) -
libgomp.so.1(OMP_3.0) -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
libpthread.so.0 -
libpthread.so.0(GLIBC_2.0) -
libpthread.so.0(GLIBC_2.1) -
libpthread.so.0(GLIBC_2.3.2) -
librt.so.1 -
librt.so.1(GLIBC_2.2) -
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(CXXABI_1.3.5) -
libstdc++.so.6(CXXABI_1.3.8) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.11) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.18) -
libstdc++.so.6(GLIBCXX_3.4.20) -
libstdc++.so.6(GLIBCXX_3.4.21) -
libstdc++.so.6(GLIBCXX_3.4.9) -
rtld(GNU_HASH) -

Provides

Name Value
libz3.so.0 -
z3-libs = 4.7.1-5.fc29
z3-libs(x86-32) = 4.7.1-5.fc29

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package z3-libs-4.7.1-5.fc29.i686.rpm
Source Package z3-4.7.1-5.fc29.src.rpm

Install Howto

Install z3-libs rpm package:

# dnf install z3-libs

Files

Path
/usr/lib/libz3.so.0
/usr/lib/libz3.so.0.0.0
/usr/lib/.build-id/
/usr/lib/.build-id/60/10e7566b08deb28782ac0c1a5dfb2b7b8bcae2
/usr/share/licenses/z3-libs/LICENSE.txt

Changelog

2018-07-14 - Fedora Release Engineering <releng@fedoraproject.org> - 4.7.1-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-11 - Richard W.M. Jones <rjones@redhat.com> - 4.7.1-4
- OCaml 4.07.0 (final) rebuild.
2018-06-20 - Richard W.M. Jones <rjones@redhat.com> - 4.7.1-3
- OCaml 4.07.0-rc1 rebuild.
2018-06-19 - Miro Hrončok <mhroncok@redhat.com> - 4.7.1-2
- Rebuilt for Python 3.7
2018-05-22 - Jerry James <loganjerry@gmail.com> - 4.7.1-1
- New upstream version (bz 1581516)
- Drop upstreamed -vector patch
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 4.6.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-12-24 - Jerry James <loganjerry@gmail.com> - 4.6.0-1
- New upstream version (bz 1527531)
- Add a python3 subpackage
2017-12-17 - Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 4.5.0-8
- Python 2 binary package renamed to python2-z3
See https://fedoraproject.org/wiki/FinalizingFedoraSwitchtoPython3
2017-11-17 - Richard W.M. Jones <rjones@redhat.com> - 4.5.0-7
- OCaml 4.06.0 rebuild.
- Add dependency on ocaml-num.
2017-08-08 - Richard W.M. Jones <rjones@redhat.com> - 4.5.0-6
- OCaml 4.05.0 rebuild.

See Also

Package Description
z80asm-1.8-14.fc29.x86_64.rpm Z80 Assembler
z80dasm-1.1.3-8.fc29.x86_64.rpm Z80 Disassembler
z88dk-1.10.1-14.20150709cvs.fc29.x86_64.rpm A Z80 cross compiler
zabbix-3.0.22-1.fc29.x86_64.rpm Open-source monitoring solution for your IT infrastructure
zabbix-agent-3.0.22-1.fc29.x86_64.rpm Zabbix agent
zabbix-dbfiles-mysql-3.0.22-1.fc29.noarch.rpm Zabbix database schemas, images, data and patches
zabbix-dbfiles-pgsql-3.0.22-1.fc29.noarch.rpm Zabbix database schemas, images, data and patches
zabbix-dbfiles-sqlite3-3.0.22-1.fc29.noarch.rpm Zabbix database schemas and patches
zabbix-proxy-3.0.22-1.fc29.noarch.rpm Zabbix proxy common files
zabbix-proxy-mysql-3.0.22-1.fc29.x86_64.rpm Zabbix proxy compiled to use MySQL
zabbix-proxy-pgsql-3.0.22-1.fc29.x86_64.rpm Zabbix proxy compiled to use PostgreSQL
zabbix-proxy-sqlite3-3.0.22-1.fc29.x86_64.rpm Zabbix proxy compiled to use SQLite
zabbix-server-3.0.22-1.fc29.noarch.rpm Zabbix server common files
zabbix-server-mysql-3.0.22-1.fc29.x86_64.rpm Zabbix server compiled to use MySQL
zabbix-server-pgsql-3.0.22-1.fc29.x86_64.rpm Zabbix server compiled to use PostgreSQL
Advertisement
Advertisement