معرفی شرکت ها

python3-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 python3-cvc5
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything x86_64
نام بسته python3-cvc5-debuginfo
نام فایل بسته python3-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.7M
حجم نصب 6.975M
This package provides debug information for package python3-cvc5. Debug information is useful when developing applications that use this package or when debugging this package.


جایگزین ها

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


نیازمندی

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


ارائه دهنده

مقدار نام
= 94968b40077530bc9c56af2a3d43089f320e6881 debuginfo(build-id)
= 1.1.1-1.fc39 python-cvc5-debuginfo
= 1.1.1-1.fc39 python3-cvc5-debuginfo
= 1.1.1-1.fc39 python3-cvc5-debuginfo(x86-64)
= 1.1.1-1.fc39 python3.12-cvc5-debuginfo


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/968b40077530bc9c56af2a3d43089f320e6881
/usr/lib/debug/.build-id/94/968b40077530bc9c56af2a3d43089f320e6881.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/python3.12
/usr/lib/debug/usr/lib64/python3.12/site-packages
/usr/lib/debug/usr/lib64/python3.12/site-packages/cvc5


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

تاریخ آخرین تغییر جزئیات
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