معرفی شرکت ها
picosat-devel-936-7-omv4002.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | OpenMandriva 4.3 |
| مخزن | OpenMandriva unsupported-release x86_64 |
| نام بسته | picosat-devel |
| نام فایل بسته | picosat-devel-936-7-omv4002.x86_64.rpm |
| نسخه بسته | 936 |
| انتشار بسته | 7 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Mon 02 Nov 2020 02 |
| هاست سازنده | c64three.openmandriva.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://fmv.jku.at/picosat/ |
| مجوز | MIT-like |
| حجم دانلود | 15K |
| حجم نصب | 20.258K |
نیازمندی
| مقدار | نام |
|---|---|
| = 936-7 | lib64picosat1 |
ارائه دهنده
| مقدار | نام |
|---|---|
| - | devel(libpicosat(64bit)) |
| - | devel(libpicosat-trace(64bit)) |
| = 936-7 | picosat-devel |
| = 936-7 | picosat-devel(x86-64) |
نحوه نصب
نصب پکیج rpm picosat-devel:
urpmi install picosat-devel-936-7-omv4002.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/include/picosat/picosat.h |
| /usr/lib64/libpicosat-trace.so |
| /usr/lib64/libpicosat.so |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2011-02-27 |
rebuild to obsolete old packages
|
| 2011-02-22 |
Fixing compilation issues and trace patch not being applied
|
| 2011-02-21 |
fixes major to 1 (as debian)
|
| 2011-02-21 |
Fixes the dependency on library package
|
| 2011-02-21 |
Improving packaging for libraries using libname defines
|