z3-libs-4.4.1-7.fc25.x86_64.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: x86_64
Package type: rpm
Installed size: 18.72 MB
Download size: 5.99 MB
Official Mirror: dl.fedoraproject.org
Library for applications that use z3 functionality.

Provides

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

    Download

    Install Howto

    Install the z3-libs rpm package:

    # dnf install z3-libs

    Files

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

    Changelog

    Advertisement
    Advertisement