libz3-devel-4.5.0-alt2.noarch.rpm


Advertisement

Description

libz3-devel - Development files of z3

Property Value
Distribution ALT Linux Sisyphus
Repository Classic noarch
Package filename libz3-devel-4.5.0-alt2.noarch.rpm
Package name libz3-devel
Package version 4.5.0
Package release alt2
Package architecture noarch
Package type rpm
Category Development/C++
Homepage -
License -
Maintainer -
Download size 402.26 KB
Installed size 402.26 KB
Z3 is a high-performance theorem prover being developed at Microsoft
Research.
This package contains development files of z3.

Alternatives

Package Version Architecture Repository
libz3-devel - - -

Requires

Name Value
libz3 = 4.5.0-alt2
rpmlib(PayloadIsLzma) -

Provides

Name Value
libz3-devel = 4.5.0-alt2

Download

Type URL
Mirror ftp.altlinux.org
Binary Package libz3-devel-4.5.0-alt2.noarch.rpm
Source Package z3-4.5.0-alt2.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    
  2. Update the package index:
    # sudo apt-get update
  3. Install libz3-devel rpm package:
    # sudo apt-get install libz3-devel

Files

Path
/usr/include/z3++.h
/usr/include/z3.h
/usr/include/z3_algebraic.h
/usr/include/z3_api.h
/usr/include/z3_ast_containers.h
/usr/include/z3_fixedpoint.h
/usr/include/z3_fpa.h
/usr/include/z3_interp.h
/usr/include/z3_macros.h
/usr/include/z3_optimization.h
/usr/include/z3_polynomial.h
/usr/include/z3_rcf.h
/usr/include/z3_v1.h

Changelog

2018-07-27 - Aleksei Nikiforov <darktemplar@altlinux.org> 4.5.0-alt2
- Updated build dependencies.
2018-03-26 - Aleksei Nikiforov <darktemplar@altlinux.org> 4.5.0-alt1.1
- (NMU) Rebuilt with python-3.6.4.
2017-10-09 - Aleksei Nikiforov <darktemplar@altlinux.org> 4.5.0-alt1
- Updated to upstream version 4.5.0.
2016-05-24 - Ivan Zakharyaschev <imz@altlinux.org> 4.3.2-alt1.git20141024.1.1
- (AUTO) subst_x86_64.
2016-03-17 - Ivan Zakharyaschev <imz@altlinux.org> 4.3.2-alt1.git20141024.1
- (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
(for ABI dependence and new python3(*) reqs)
2015-03-17 - Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 4.3.2-alt1.git20141024
- Initial build for Sisyphus

See Also

Package Description
libz3-devel-docs-4.5.0-alt2.noarch.rpm Documentation for z3
libzapojit-devel-doc-0.0.3-alt1.noarch.rpm Development documentation for libzapojit
libzapojit-gir-devel-0.0.3-alt1.noarch.rpm GObject introspection devel data for the Zapojit library
libzeitgeist2.0-devel-doc-1.0.2-alt1.noarch.rpm Development documentation for libzeitgeist2.0
libzeitgeist2.0-gir-devel-1.0.2-alt1.noarch.rpm GObject introspection devel data for the Zeitgeist library
libzmf-doc-0.0.1-alt1.noarch.rpm Documentation of libzmf API
licq-devel-1.8.2-alt2.noarch.rpm Development files for Licq
licq-maxi-1.8.2-alt2.noarch.rpm Multi-protocol IM-client (icq,jabber,msn) written on C++
licq-mini-1.8.2-alt2.noarch.rpm Multi-protocol IM-client (icq,jabber,msn) written on C++
light-locker-settings-1.5.0-alt1.noarch.rpm Simple settings dialog for light-locker
lightcouch-0.1.8-alt1_5jpp8.noarch.rpm CouchDB Java API
lightcouch-javadoc-0.1.8-alt1_5jpp8.noarch.rpm Javadoc for lightcouch
lightdm-devel-doc-1.30.0-alt2.noarch.rpm Development package for lightdm
lightdm-gir-devel-1.30.0-alt2.noarch.rpm GObject introspection devel data for the lightdm
lightdm-profiles-0.1.1-alt2.noarch.rpm Set of profiles for LightDM configuration
Advertisement
Advertisement