معرفی شرکت ها

cvc5-debuginfo-1.1.1-1.fc39.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Debug information for package cvc5
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything x86_64
نام بسته cvc5-debuginfo
نام فایل بسته cvc5-debuginfo-1.1.1-1.fc39.x86_64.rpm
نسخه بسته 1.1.1
انتشار بسته 1.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 20 Feb 2024 09
هاست سازنده buildhw-x86-04.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://cvc5.github.io/
مجوز BSD-3-Clause AND MIT
حجم دانلود 1.2M
حجم نصب 5.310M
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.aarch64.rpm 1.0.8 aarch64 Fedora Everything
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


ارائه دهنده

مقدار نام
= 1.1.1-1.fc39 cvc5-debuginfo
= 1.1.1-1.fc39 cvc5-debuginfo(x86-64)
= d5a01e7640b12ae317c7ce00b7eb8fb4bbff6420 debuginfo(build-id)


نحوه نصب


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

    dnf install cvc5-debuginfo-1.1.1-1.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/d5
/usr/lib/debug/.build-id/d5/a01e7640b12ae317c7ce00b7eb8fb4bbff6420
/usr/lib/debug/.build-id/d5/a01e7640b12ae317c7ce00b7eb8fb4bbff6420.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/cvc5-1.1.1-1.fc39.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin


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

تاریخ آخرین تغییر جزئیات
2024-02-20

Version 1.1.1

2024-01-10

Version 1.1.0
Fix symbol visibility issue (rhbz#2256948)
Skip regression tests until alfc can be packaged

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