معرفی شرکت ها
libpicosat-debuginfo-965-alt3.ppc64le.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p10 |
| مخزن | ALTLinux debuginfo ppc64le |
| نام بسته | libpicosat-debuginfo |
| نام فایل بسته | libpicosat-debuginfo-965-alt3.ppc64le.rpm |
| نسخه بسته | 965 |
| انتشار بسته | alt3 |
| معماری بسته | ppc64le |
| نگهدارنده | - |
| تاریخ ساخت | Fri 19 Feb 2021 10 |
| هاست سازنده | grenka-sisyphus.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://fmv.jku.at/picosat/ |
| مجوز | MIT |
| حجم دانلود | 7.0K |
| حجم نصب | 12.797K |
نیازمندی
| مقدار | نام |
|---|---|
| - | debug64(libc.so.6) |
| = 965-alt3:sisyphus+265234.3500.49.1 | libpicosat |
| - | rpmlib(PayloadIsLzma) |
ارائه دهنده
| مقدار | نام |
|---|---|
| - | debug64(libpicosat.so.0) |
| = 965-alt3:sisyphus+265234.3500.49.1 | libpicosat-debuginfo |
نحوه نصب
نصب پکیج rpm libpicosat-debuginfo:
sudo apt-get install libpicosat-debuginfo-965-alt3.ppc64le.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/debug/.build-id/fc |
| /usr/lib/debug/.build-id/fc/fb0869c9cbf7c233a528e065b8375d725854c6 |
| /usr/lib/debug/.build-id/fc/fb0869c9cbf7c233a528e065b8375d725854c6.debug |
| /usr/lib/debug/usr/lib64/libpicosat.so.0.debug |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2020-07-12 |
fixed build on non-x86 64-bit arches
|
| 2020-02-05 |
Stopped build for Python2.
|
| 2019-04-11 |
Build new version.
|
| 2018-03-22 |
(NMU) Rebuilt with python-3.6.4.
|
| 2016-03-17 |
(NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
|
| 2015-03-17 |
Applied patch from https://github.com/pysmt/pysmt/tree/master/patches
|
| 2015-03-17 |
Initial build for Sisyphus
|