معرفی شرکت ها

libz3-4.8.8-alt1.ppc64le.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Shared library of z3
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p10
مخزن ALTLinux classic ppc64le
نام بسته libz3
نام فایل بسته libz3-4.8.8-alt1.ppc64le.rpm
نسخه بسته 4.8.8
انتشار بسته alt1
معماری بسته ppc64le
نگهدارنده -
تاریخ ساخت Fri 10 Jul 2020 12
هاست سازنده darktemplar-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز MIT
حجم دانلود 7.0M
حجم نصب 28.451M
Z3 is a high-performance theorem prover being developed at Microsoft Research. This package contains shared library of z3.


جایگزین ها

بسته نسخه معماری مخزن
libz3-debuginfo-4.8.8-alt1.ppc64le.rpm 4.8.8 ppc64le ALT debuginfo
libz3-devel-4.8.8-alt1.ppc64le.rpm 4.8.8 ppc64le ALT classic
libz3-devel-4.8.8-alt1.x86_64.rpm 4.8.8 x86_64 ALT classic
libz3-devel-docs-4.8.8-alt1.noarch.rpm 4.8.8 noarch ALT classic


نیازمندی

مقدار نام
- libc.so.6(GLIBC_2.17)(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
>= set:mhZrwRupsDZLS6ElADUEn7aIGuKwy8IQnrD0Es65smUxSWhZvScnKgRvg2Z4hC8EeXpTKqEZpwk7TXAFs1 libgmp.so.10()(64bit)
- rpmlib(SetVersions)
- libm.so.6(GLIBC_2.17)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libpthread.so.0(GLIBC_2.17)(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(CXXABI_1.3.5)(64bit)
- libstdc++.so.6(GLIBCXX_3.4)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.17)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.22)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= set:ndOPTIGJM2CoxaZrowcjap7eO8G4nf8VZknqORgoFV7aE38xA7DjkPiKv1VqttBEBrIMUZGWEcuWI9jINQysbB6sUkra54RbvpAWz9az6xdy6C5srjCy431XWpo3EXnCjZiwmaS8esB4Zl6iU6SmsqCyfQOZnQgAs0jBnRZxZAY7N7oF5AC0jVZhNGBRmKtZyGi6eoa49s2zA9Zh6m45xeW5S3MHsRlRpDNlm66q4UgjhlAuJKFLM1jZn9bf1sGlYHZxGowcQh9RxFpuTWo8pl2ZhD64EJpWqMO5hF3XpFwZ75ULYLkJaT600RHlI1611Zx3TQSr9t8O4aZahw7i5bIZfJGJYwCZbSlGQRyFiTjbdT3r1WIpiY5sOeqj6BWEfO1lXtYPR1IkkOb5yyHa9W8j6UUXmaPIjidUKRyPV1PIBm2RAeinR78IXnnBKmndhjbGBuZ8jZHqeMPFXiQkzq9L3qon1KyJNQzOe3ehBpQe0ryzavflwInurdICkNT4KkokkMqxlCLTUHdZiUX9sdHFRQQZhXkRkStZwYb6FHVSTHxkMwt1ZfGlkhiKCVQ7GE9K7wDgne8lkZx3EHZ3hgpJg0Hp8JhcaYZ3nRzUC6DiUD6BSCAnNY0Fs1fuTVL7SO9inZpfwZoUULDH5YgXaD6hxg8NyaPK24A4258Zw83iqh1UT4W875os3NSzYECigUhVI7duDHqcay1sRW5x0dtSjpudKb2T2HxnkaZlDQ0PKZnAu2nUXBXlUqzrDZH2gUHXZl6G4CPMbiPZ56F9HXoImlaOweGY7YdgpZiuXOKZphZG3Pe0vE4jZsZ4icWid1YIOD3bXAz17HJ4uoZyoNl3BGZrIGGioRqrc86YDgHxLZqwevcC4P74Os9Z6gL8GkPAjW1HcCvkbwZfIve0xcO2LBBxF9h3050Ep4hahNLZyeNyklZkNofAEXQSAZoZdxb4HzTj9Ji9uI1WXUKMxwEgeifGGFNLlvmzZGoZekqe2VO74waycOrpHUu6aVniPCW9Rr8M65dyuejUAmZwZnMraqAcqfo449PUGi8ecpMiEiA8tzhDyv1V2SMdCEjjQD8l9mj2HM0QvmJJTYd66jroG1FWdYl9p0pzGFomZB5lQzD6jC6lnBJmhjWxyUtDQwApepotOKxjaF0r6GzDvLqrP6NX9hcTsUgkrEb6JcHg1ItVwi9bwsxD5HtS95zP0zr6jlNaMSa7gIZpxdECEw2d3bZJlxDDJhQlhVxkUKUQRn84YNqfkhjAwrkfGqw6UYm7hoCZ6YBu4bYdggG3pWGVx2OgdwiqbSH0Ap8CmCQ6iqPU5imEVAnk8bZ7oS11PXsGL12HRTl3848Q9ikxKt2RJ2RHXND4pT8BNTFZdZ2gsTpxLpW9rmKPgUDlqayJpCEbxjHVbG99xOVVQiAg9bZhZpUkiH1c6wjZyAsO17jFj8CkHV7W9G2d7SfG4PaOsQSNeQQswcHPc77SXPFHNsg4k1jK3b373c0rp22zJBldGZCGhPqZ9lpknfJNsjAdGdjqewTDqdHeaAKfJjkrbUj2NHdWKyKEbiv6QrtT7QF4511JBeLh6AJ1tBO9nDwlpPRZoGuPCHT6xAKUDJrE44W6gVuqvUCys2iv2eXwkggd7rDCpgw8D61ZmuNOyZhW3e7i23A2vkaqnl6VxvCkcXoz87qKcic06C7WyiGJwBBBuy8ZDrAOT77vFG25d libz3.so.4.8()(64bit)
= 4.8.8-alt1:sisyphus+254751.100.1.1 libz3


نحوه نصب


نصب پکیج rpm libz3:

    sudo apt-get install libz3-4.8.8-alt1.ppc64le.rpm


فایل ها

مسیرها
/usr/lib64/libz3.so.4.8
/usr/lib64/libz3.so.4.8.8.0


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2020-07-10

Updated to upstream version 4.8.8.

2020-04-02

Updated to upstream version 4.8.7.
Disabled bindings for python-2.

2018-07-27

Updated build dependencies.

2018-03-26

(NMU) Rebuilt with python-3.6.4.

2017-10-09

Updated to upstream version 4.5.0.

2016-05-24

(AUTO) subst_x86_64.

2016-03-17

(NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10

2015-03-17

Initial build for Sisyphus