معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug sources for package cvc5

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything x86_64
نام بسته	cvc5-debugsource
نام فایل بسته	cvc5-debugsource-1.0.8-1.fc39.x86_64.rpm
نسخه بسته	1.0.8
انتشار بسته	1.fc39
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Sat 16 Sep 2023 02
هاست سازنده	buildhw-x86-08.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://cvc5.github.io/
مجوز	BSD-3-Clause AND MIT
حجم دانلود	2.9M
حجم نصب	19.683M

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

جایگزین ها

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

ارائه دهنده

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

نحوه نصب

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

dnf install cvc5-debugsource-1.0.8-1.fc39.x86_64.rpm

فایل ها

مسیرها
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/include
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/include/cvc5
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/include/cvc5/cvc5.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/include/cvc5/cvc5_kind.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/include/cvc5/cvc5_parser.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/include/cvc5/cvc5_types.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/api
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/api/java
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/api/python
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/api/python/cvc5_python_base.cxx
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/base
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/base/Trace_tags.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/base/versioninfo.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/context
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/expr
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/expr/kind.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/expr/kind.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/expr/metakind.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/expr/metakind.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/expr/node_manager.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/expr/node_manager.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/expr/type_checker.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/expr/type_properties.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/expr/type_properties.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/main
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/main/options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/arith_options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/arith_options.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/arrays_options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/arrays_options.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/base_options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/base_options.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/booleans_options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/booleans_options.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/builtin_options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/builtin_options.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/bv_options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/bv_options.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/datatypes_options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/datatypes_options.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/decision_options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/decision_options.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/expr_options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/expr_options.h
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/ff_options.cpp
/usr/src/debug/cvc5-1.0.8-1.fc39.x86_64/redhat-linux-build/src/options/ff_options.h
... and 1589 more

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

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