معرفی شرکت ها
yices-debuginfo-2.3.0-alt3.mipsel.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | ALT p9 |
| مخزن | ALTLinux debuginfo mipsel |
| نام بسته | yices-debuginfo |
| نام فایل بسته | yices-debuginfo-2.3.0-alt3.mipsel.rpm |
| نسخه بسته | 2.3.0 |
| انتشار بسته | alt3 |
| معماری بسته | mipsel |
| نگهدارنده | - |
| تاریخ ساخت | Tue 19 Feb 2019 06 |
| هاست سازنده | recycler-sisyphus_mipsel.hasher.altlinux.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | http://yices.csl.sri.com/ |
| مجوز | Noncommercial use only |
| حجم دانلود | 4.6M |
| حجم نصب | 31.164M |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/lib/debug/lib/ld.so.1.debug |
| - | debug(libc.so.6) |
| - | debug(libgmp.so.10) |
| = 2.3.0-alt3:sisyphus_mipsel.21785.100 | yices |
| - | rpmlib(PayloadIsLzma) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 2.3.0-alt3:sisyphus_mipsel.21785.100 | yices-debuginfo |
نحوه نصب
نصب پکیج rpm yices-debuginfo:
sudo apt-get install yices-debuginfo-2.3.0-alt3.mipsel.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/debug/.build-id/08 |
| /usr/lib/debug/.build-id/08/264159ffd30bd5dc88ed5a10eb3801cf8cff89 |
| /usr/lib/debug/.build-id/08/264159ffd30bd5dc88ed5a10eb3801cf8cff89.debug |
| /usr/lib/debug/.build-id/43 |
| /usr/lib/debug/.build-id/43/cc5693b721bbe4570da9b836f0359ddca0845a |
| /usr/lib/debug/.build-id/43/cc5693b721bbe4570da9b836f0359ddca0845a.debug |
| /usr/lib/debug/.build-id/7b |
| /usr/lib/debug/.build-id/7b/a958259afff3f9132f62c19b8f871bc550743d |
| /usr/lib/debug/.build-id/7b/a958259afff3f9132f62c19b8f871bc550743d.debug |
| /usr/lib/debug/.build-id/84 |
| /usr/lib/debug/.build-id/84/7413b25f87d2d962ccc846b435c6b12465cd82 |
| /usr/lib/debug/.build-id/84/7413b25f87d2d962ccc846b435c6b12465cd82.debug |
| /usr/lib/debug/usr/bin/yices-sat.debug |
| /usr/lib/debug/usr/bin/yices-smt.debug |
| /usr/lib/debug/usr/bin/yices-smt2.debug |
| /usr/lib/debug/usr/bin/yices.debug |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2019-02-20 |
Fixed build on non-x86 architectures.
|
| 2016-04-11 |
It fails during parallel builds randomly (sometimes); therefore: NPROCS=1
|
| 2015-03-16 |
Initial build for Sisyphus
|