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


Advertisement

Description

z3-libs - Library for applications that use z3 functionality

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: z3-libs
Package version: 4.4.1
Package release: 7.fc25
Package architecture: i686
Package type: rpm
Installed size: 19.87 MB
Download size: 6.44 MB
Official Mirror: dl.fedoraproject.org
Library for applications that use z3 functionality.

Provides

  • libz3.so.0
  • z3-libs = 4.4.1-7.fc25
  • z3-libs(x86-32) = 4.4.1-7.fc25

    Download

    Source package: z3-4.4.1-7.fc25.src.rpm

    Install Howto

    Install the z3-libs rpm package:

    # dnf install z3-libs

    Files

    • /usr/lib/libz3.so.0
    • /usr/lib/libz3.so.0.0.0
    • /usr/share/licenses/z3-libs/LICENSE.txt

    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