معرفی شرکت ها
libpicosat-devel-960-alt2.1.i586.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p8 |
| مخزن | ALTLinux classic i586 |
| نام بسته | libpicosat-devel |
| نام فایل بسته | libpicosat-devel-960-alt2.1.i586.rpm |
| نسخه بسته | 960 |
| انتشار بسته | alt2.1 |
| معماری بسته | i586 |
| نگهدارنده | - |
| تاریخ ساخت | Sat 02 Apr 2016 02 |
| هاست سازنده | imz-sisyphus.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://fmv.jku.at/picosat/ |
| مجوز | MIT |
| حجم دانلود | 11K |
| حجم نصب | 27.747K |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libpicosat-devel-960-alt2.1.x86_64.rpm | 960 | x86_64 | ALT classic |
نیازمندی
| مقدار | نام |
|---|---|
| = 960-alt2.1 | libpicosat |
| - | rpmlib(PayloadIsLzma) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 960-alt2.1 | libpicosat-devel |
نحوه نصب
نصب پکیج rpm libpicosat-devel:
sudo apt-get install libpicosat-devel-960-alt2.1.i586.rpm
فایل ها
| مسیرها |
|---|
| /usr/include/config.h |
| /usr/include/picosat.h |
| /usr/lib/libpicosat.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
|