معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug information for package cvc5

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything aarch64
نام بسته	cvc5-debuginfo
نام فایل بسته	cvc5-debuginfo-1.0.8-1.fc39.aarch64.rpm
نسخه بسته	1.0.8
انتشار بسته	1.fc39
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Sat 16 Sep 2023 02
هاست سازنده	buildvm-a64-20.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://cvc5.github.io/
مجوز	BSD-3-Clause AND MIT
حجم دانلود	1006K
حجم نصب	4.871M

This package provides debug information for package cvc5. Debug information is useful when developing applications that use this package or when debugging this package.

جایگزین ها

بسته	نسخه	معماری	مخزن
cvc5-debuginfo-1.0.8-1.fc39.x86_64.rpm	1.0.8	x86_64	Fedora Everything
cvc5-debuginfo-1.1.1-1.fc39.aarch64.rpm	1.1.1	aarch64	Fedora Everything
cvc5-debuginfo-1.1.1-1.fc39.x86_64.rpm	1.1.1	x86_64	Fedora Everything

ارائه دهنده

مقدار	نام
= 1.0.8-1.fc39	cvc5-debuginfo
= 1.0.8-1.fc39	cvc5-debuginfo(aarch-64)
= ea0d16b9412752c9343ff1863a4dd709a23c95e4	debuginfo(build-id)

نحوه نصب

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

dnf install cvc5-debuginfo-1.0.8-1.fc39.aarch64.rpm

فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/ea
/usr/lib/debug/.build-id/ea/0d16b9412752c9343ff1863a4dd709a23c95e4
/usr/lib/debug/.build-id/ea/0d16b9412752c9343ff1863a4dd709a23c95e4.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/cvc5-1.0.8-1.fc39.aarch64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin

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

تاریخ آخرین تغییر	جزئیات
2023-09-15	Version 1.0.8 Remove dependency on antlr3 Drop upstreamed patches: antlr3, toml, vec
2023-08-09	Build with yosyshq-abc instead of abc
2023-07-29	Initial RPM