معرفی شرکت ها


libminisat-debuginfo-2.2.0-alt5.mipsel.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

The library for Boolean satisfiability problem solving (debug files)
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux debuginfo mipsel
نام بسته libminisat-debuginfo
نام فایل بسته libminisat-debuginfo-2.2.0-alt5.mipsel.rpm
نسخه بسته 2.2.0
انتشار بسته alt5
معماری بسته mipsel
نگهدارنده -
تاریخ ساخت Thu 09 May 2019 08
هاست سازنده recycler64-sisyphus_mipsel.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://minisat.se
مجوز BSD style
حجم دانلود 107K
حجم نصب 333.899K
This package provides debug information for package libminisat.


نیازمندی

مقدار نام
- debug(ld.so.1)
- debug(libc.so.6)
- debug(libgcc_s.so.1)
- debug(libm.so.6)
- debug(libstdc++.so.6)
= 2.2.0-alt5:sisyphus_mipsel+28073.100.1.1 libminisat
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
- debug(libminisat-0.so.0)
= 2.2.0-alt5:sisyphus_mipsel+28073.100.1.1 libminisat-debuginfo


نحوه نصب


نصب پکیج rpm libminisat-debuginfo:

    sudo apt-get install libminisat-debuginfo-2.2.0-alt5.mipsel.rpm


فایل ها

مسیرها
/usr/lib/debug/.build-id/cc
/usr/lib/debug/.build-id/cc/d9649b53f3777c18d8c103a803fce625349490
/usr/lib/debug/.build-id/cc/d9649b53f3777c18d8c103a803fce625349490.debug
/usr/lib/debug/usr/lib/libminisat-0.so.0.0.0.debug
/usr/lib/debug/usr/lib/libminisat-0.so.0.debug


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2013-12-05

Fixed building bug with missed m4 directory

2013-03-01

Proper collisions support
Assumptions support is removed

2013-01-19

Conflicts analyzing is added

2012-12-22

Variable value assumption support added

2012-10-28

Initial package