معرفی شرکت ها
i586-python3-module-picosat-960-alt2.1.i586.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p8 |
| مخزن | ALTLinux classic i586 |
| نام بسته | i586-python3-module-picosat |
| نام فایل بسته | i586-python3-module-picosat-960-alt2.1.i586.rpm |
| نسخه بسته | 960 |
| انتشار بسته | alt2.1 |
| معماری بسته | i586 |
| نگهدارنده | - |
| تاریخ ساخت | Mon 04 Apr 2016 04 |
| هاست سازنده | imz-sisyphus.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://fmv.jku.at/picosat/ |
| مجوز | MIT |
| حجم دانلود | 19K |
| حجم نصب | 60.094K |
نیازمندی
| مقدار | نام |
|---|---|
| = 960-alt2.1 | python3-module-picosat |
| = 960-alt2.1 | i586-libpicosat |
| - | rpmlib(PayloadIsLzma) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 960-alt2.1 | i586-python3-module-picosat |
نحوه نصب
نصب پکیج rpm i586-python3-module-picosat:
sudo apt-get install i586-python3-module-picosat-960-alt2.1.i586.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/python3/site-packages/_picosat.cpython-35m.so |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|