z3-devel-4.8.6-1.fc31.x86_64.rpm


Advertisement

Description

z3-devel - Header files for build applications that use z3

Property Value
Distribution Fedora 31
Repository Fedora x86_64 Official
Package filename z3-devel-4.8.6-1.fc31.x86_64.rpm
Package name z3-devel
Package version 4.8.6
Package release 1.fc31
Package architecture x86_64
Package type rpm
Homepage https://github.com/Z3Prover/z3
License MIT
Maintainer -
Download size 74.68 KB
Installed size 463.70 KB
Header files for build applications that use z3.

Alternatives

Package Version Architecture Repository
z3-devel-4.8.7-1.fc31.x86_64.rpm 4.8.7 x86_64 Fedora Updates Official
z3-devel-4.8.6-1.fc31.x86_64.rpm 4.8.6 x86_64 Fedora Updates Testing Official
z3-devel All All All

Requires

Name Value
libz3.so.0()(64bit) -
z3-libs(x86-64) = 4.8.6-1.fc31

Provides

Name Value
z3-devel = 4.8.6-1.fc31
z3-devel(x86-64) = 4.8.6-1.fc31

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package z3-devel-4.8.6-1.fc31.x86_64.rpm
Source Package z3-4.8.6-1.fc31.src.rpm

Install Howto

Install z3-devel rpm package:

# dnf install z3-devel

Files

Path
/usr/include/z3/z3++.h
/usr/include/z3/z3.h
/usr/include/z3/z3_algebraic.h
/usr/include/z3/z3_api.h
/usr/include/z3/z3_ast_containers.h
/usr/include/z3/z3_fixedpoint.h
/usr/include/z3/z3_fpa.h
/usr/include/z3/z3_macros.h
/usr/include/z3/z3_optimization.h
/usr/include/z3/z3_polynomial.h
/usr/include/z3/z3_rcf.h
/usr/include/z3/z3_spacer.h
/usr/include/z3/z3_v1.h
/usr/include/z3/z3_version.h
/usr/lib64/libz3.so

Changelog

2019-09-20 - Jerry James <loganjerry@gmail.com> - 4.8.6-1
- New upstream version
2019-08-19 - Miro HronĨok <mhroncok@redhat.com> - 4.8.5-6
- Rebuilt for Python 3.8
2019-08-16 - Richard W.M. Jones <rjones@redhat.com> - 4.8.5-5
- OCaml 4.08.1 (final) rebuild.
2019-07-31 - Richard W.M. Jones <rjones@redhat.com> - 4.8.5-4
- OCaml 4.08.1 (rc2) rebuild.
2019-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 4.8.5-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-06-27 - Richard W.M. Jones <rjones@redhat.com> - 4.8.5-2
- OCaml 4.08.0 (final) rebuild.
2019-06-22 - Jerry James <loganjerry@gmail.com> - 4.8.5-1
- New upstream version
2019-04-29 - Richard W.M. Jones <rjones@redhat.com> - 4.8.4-3
- OCaml 4.08.0 (beta 3) rebuild.
2019-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 4.8.4-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2018-12-24 - Jerry James <loganjerry@gmail.com> - 4.8.4-1
- New upstream version
- Drop -no-sse patch, now handled upstream

See Also

Package Description
z3-doc-4.8.6-1.fc31.noarch.rpm API documentation for Z3
z3-libs-4.8.6-1.fc31.i686.rpm Library for applications that use z3 functionality
z3-libs-4.8.6-1.fc31.x86_64.rpm Library for applications that use z3 functionality
z80asm-1.8-16.fc31.x86_64.rpm Z80 Assembler
z80dasm-1.1.3-10.fc31.x86_64.rpm Z80 Disassembler
z88dk-1.10.1-16.20150709cvs.fc31.x86_64.rpm A Z80 cross compiler
zabbix-4.0.11-1.fc31.x86_64.rpm Open-source monitoring solution for your IT infrastructure
zabbix-agent-4.0.11-1.fc31.x86_64.rpm Zabbix agent
zabbix-dbfiles-mysql-4.0.11-1.fc31.noarch.rpm Zabbix database schemas, images, data and patches
zabbix-dbfiles-pgsql-4.0.11-1.fc31.noarch.rpm Zabbix database schemas, images, data and patches
zabbix-dbfiles-sqlite3-4.0.11-1.fc31.noarch.rpm Zabbix database schemas and patches
zabbix-proxy-4.0.11-1.fc31.noarch.rpm Zabbix proxy common files
zabbix-proxy-mysql-4.0.11-1.fc31.x86_64.rpm Zabbix proxy compiled to use MySQL
zabbix-proxy-pgsql-4.0.11-1.fc31.x86_64.rpm Zabbix proxy compiled to use PostgreSQL
zabbix-proxy-sqlite3-4.0.11-1.fc31.x86_64.rpm Zabbix proxy compiled to use SQLite
Advertisement
Advertisement