Package libz3: Information

    Binary package: libz3
    Version: 4.8.8-alt1.1
    Architecture: i586
    Build time:  Jan 25, 2024, 11:03 PM in the task #339017
    Source package: z3
    Category: System/Libraries
    Report package bug
    Gear: https://git.altlinux.org/gears/z/z3.git?a=tree;hb=81355a950bafbe…
    Download: libz3-4.8.8-alt1.1.i586.rpm
    Build log: https://git.altlinux.org/tasks/339017/build/100/i586/log
    Home page: https://github.com/Z3Prover/z3
    License: MIT
    Summary: Shared library of z3
    Description: 
    Z3 is a high-performance theorem prover being developed at Microsoft
Research.

This package contains shared library of z3.
    Maintainer: Grigory Ustinov
    List of contributors:
    Grigory Ustinov
    Aleksei Nikiforov
    Ivan Zakharyaschev
    Eugeny A. Rostovtsev

    Last changed

    Jan. 25, 2024 Grigory Ustinov 4.8.8-alt1.1
    - NMU: Fixed FTBFS.
    July 10, 2020 Aleksei Nikiforov 4.8.8-alt1
    - Updated to upstream version 4.8.8.
    April 2, 2020 Aleksei Nikiforov 4.8.7-alt1
    - Updated to upstream version 4.8.7.
- Disabled bindings for python-2.
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v24.5.0
    Back to top