معرفی شرکت ها
picosat-965-alt3.ppc64le.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p10 |
| مخزن | ALTLinux classic ppc64le |
| نام بسته | picosat |
| نام فایل بسته | picosat-965-alt3.ppc64le.rpm |
| نسخه بسته | 965 |
| انتشار بسته | alt3 |
| معماری بسته | ppc64le |
| نگهدارنده | - |
| تاریخ ساخت | Fri 19 Feb 2021 06 |
| هاست سازنده | grenka-sisyphus.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://fmv.jku.at/picosat/ |
| مجوز | MIT |
| حجم دانلود | 25K |
| حجم نصب | 269.215K |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| picosat-debuginfo-965-alt3.ppc64le.rpm | 965 | ppc64le | ALT debuginfo |
نیازمندی
| مقدار | نام |
|---|---|
| - | /lib64/ld64.so.2 |
| = 965-alt3:sisyphus+265234.3500.49.1 | libpicosat |
| - | rpmlib(PayloadIsLzma) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 965-alt3:sisyphus+265234.3500.49.1 | picosat |
نحوه نصب
نصب پکیج rpm picosat:
sudo apt-get install picosat-965-alt3.ppc64le.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/picogcnf |
| /usr/bin/picomcs |
| /usr/bin/picomus |
| /usr/bin/picosat |
| /usr/share/doc/picosat-965 |
| /usr/share/doc/picosat-965/NEWS |
| /usr/share/doc/picosat-965/README |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|