معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

دانلود نسخه باینری

Shared libraries of yices (debug files)

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p9
مخزن	ALTLinux debuginfo mipsel
نام بسته	libyices-debuginfo
نام فایل بسته	libyices-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
حجم دانلود	2.7M
حجم نصب	10.031M

This package provides debug information for package libyices.

مقدار	نام
-	debug(libyices.so.2.3)
= 2.3.0-alt3:sisyphus_mipsel.21785.100	libyices-debuginfo

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

sudo apt-get install libyices-debuginfo-2.3.0-alt3.mipsel.rpm

مسیرها
/usr/lib/debug/.build-id/dc
/usr/lib/debug/.build-id/dc/973ca3a56d9f9c86993eef97166c9bb81fa3fc
/usr/lib/debug/.build-id/dc/973ca3a56d9f9c86993eef97166c9bb81fa3fc.debug
/usr/lib/debug/usr/lib/libyices.so.2.3.0.debug
/usr/lib/debug/usr/lib/libyices.so.2.3.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