z3-devel-4.4.1-7.fc25.x86_64.rpm


Advertisement

Description

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

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name z3-devel
Package version 4.4.1
Package release 7.fc25
Package architecture x86_64
Package type rpm
Installed size 421.28 KB
Download size 76.77 KB
Official Mirror dl.fedoraproject.org
Header files for build applications that use z3.

Alternatives

Package Version Architecture Repository
z3-devel-4.5.0-1.fc25.i686.rpm 4.5.0 i686 Fedora Updates
z3-devel-4.5.0-1.fc25.i686.rpm 4.5.0 i686 Fedora Updates
z3-devel-4.5.0-1.fc25.x86_64.rpm 4.5.0 x86_64 Fedora Updates
z3-devel-4.4.1-7.fc25.i686.rpm 4.4.1 i686 Fedora
z3-devel-4.4.1-7.fc25.i686.rpm 4.4.1 i686 Fedora
z3-devel - - -

Requires

Name Value
libz3.so.0()(64bit) -
z3-libs(x86-64) = 4.4.1-7.fc25

Provides

Name Value
z3-devel = 4.4.1-7.fc25
z3-devel(x86-64) = 4.4.1-7.fc25

Download

Type URL
Binary Package z3-devel-4.4.1-7.fc25.x86_64.rpm
Source Package z3-4.4.1-7.fc25.src.rpm

Install Howto

Install the 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_fpa.h
/usr/include/z3/z3_interp.h
/usr/include/z3/z3_macros.h
/usr/include/z3/z3_polynomial.h
/usr/include/z3/z3_rcf.h
/usr/include/z3/z3_v1.h
/usr/lib64/libz3.so

Changelog

See z3-4.4.1-7.fc25.x86_64.rpm changelog.

See Also

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