معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug sources for package E

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything x86_64
نام بسته	E-debugsource
نام فایل بسته	E-debugsource-2.6-5.fc38.x86_64.rpm
نسخه بسته	2.6
انتشار بسته	5.fc38
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Wed 18 Jan 2023 11
هاست سازنده	buildvm-x86-28.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://www.eprover.org/
مجوز	(GPL-2.0-or-later OR LGPL-2.1-or-later) AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later
حجم دانلود	820K
حجم نصب	12.542M

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

جایگزین ها

بسته	نسخه	معماری	مخزن
E-debugsource-2.6-5.fc38.aarch64.rpm	2.6	aarch64	Fedora Everything

ارائه دهنده

مقدار	نام
= 2.6-5.fc38	E-debugsource
= 2.6-5.fc38	E-debugsource(x86-64)

نحوه نصب

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

dnf install E-debugsource-2.6-5.fc38.x86_64.rpm

فایل ها

مسیرها
/usr/src/debug/E-2.6-5.fc38.x86_64
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_ddarrays.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_ddarrays.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_dstrings.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_dstrings.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_error.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_error.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_fixdarrays.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_fixdarrays.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_intmap.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_intmap.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_memory.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_memory.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_numtrees.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_numtrees.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_numxtrees.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_numxtrees.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_objtrees.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_objtrees.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_os_wrapper.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_os_wrapper.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_partial_orderings.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_partial_orderings.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_pdarrays.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_pdarrays.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_pdrangearrays.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_pdrangearrays.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_plist.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_plist.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_plocalstacks.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_pqueue.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_pqueue.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_pstacks.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_ptrees.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_ptrees.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_regmem.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_simple_stuff.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_simple_stuff.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_stringtrees.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_stringtrees.h
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_verbose.c
/usr/src/debug/E-2.6-5.fc38.x86_64/BASICS/clb_verbose.h
/usr/src/debug/E-2.6-5.fc38.x86_64/CLAUSES
/usr/src/debug/E-2.6-5.fc38.x86_64/CLAUSES/ccl_clausecpos.c
/usr/src/debug/E-2.6-5.fc38.x86_64/CLAUSES/ccl_clausecpos.h
/usr/src/debug/E-2.6-5.fc38.x86_64/CLAUSES/ccl_clausefunc.c
/usr/src/debug/E-2.6-5.fc38.x86_64/CLAUSES/ccl_clausefunc.h
/usr/src/debug/E-2.6-5.fc38.x86_64/CLAUSES/ccl_clauseinfo.c
/usr/src/debug/E-2.6-5.fc38.x86_64/CLAUSES/ccl_clauseinfo.h
... and 495 more

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

تاریخ آخرین تغییر	جزئیات
2023-01-18	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-08-16	Convert License tag to SPDX
2022-07-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-01	Version 2.6
2021-01-25	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild