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


Advertisement

Description

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

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

Provides

  • z3-devel = 4.4.1-7.fc25
  • z3-devel(x86-32) = 4.4.1-7.fc25

    Download

    Install Howto

    Install the z3-devel rpm package:

    # dnf install z3-devel

    Files

    • /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/lib/libz3.so

    Changelog

    2016-07-19 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.4.1-7 - https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages

    2016-07-13 - Jerry James <loganjerry@gmail.com> - 4.4.1-6 - Fix Java interface (bz 1353773)

    2016-06-30 - Jerry James <loganjerry@gmail.com> - 4.4.1-5 - Fix __init__.py (bz 1351580)

    2016-02-05 - Fedora Release Engineering <releng@fedoraproject.org> - 4.4.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

    2016-02-02 - Jonathan Wakely <jwakely@redhat.com> - 4.4.1-3 - Patched for C++11 compatibility.

    2016-01-20 - Jerry James <loganjerry@gmail.com> - 4.4.1-2 - Add __init__.py to the python interface (bz 1298429)

    2015-10-08 - Jerry James <loganjerry@gmail.com> - 4.4.1-1 - New upstream version

    2015-07-28 - Richard W.M. Jones <rjones@redhat.com> - 4.4.0-4 - OCaml 4.02.3 rebuild.

    2015-06-25 - Richard W.M. Jones <rjones@redhat.com> - 4.4.0-3 - ocaml-4.02.2 final rebuild.

    2015-06-18 - Richard W.M. Jones <rjones@redhat.com> - 4.4.0-2 - ocaml-4.02.2 rebuild.

    Advertisement
    Advertisement