معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug sources for package lfsc

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything x86_64
نام بسته	lfsc-debugsource
نام فایل بسته	lfsc-debugsource-0.20210305-5.fc38.x86_64.rpm
نسخه بسته	0.20210305
انتشار بسته	5.fc38
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Thu 19 Jan 2023 08
هاست سازنده	buildhw-x86-11.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/cvc5/LFSC
مجوز	BSD-3-Clause
حجم دانلود	65K
حجم نصب	377.047K

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

جایگزین ها

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

ارائه دهنده

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

نحوه نصب

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

dnf install lfsc-debugsource-0.20210305-5.fc38.x86_64.rpm

فایل ها

مسیرها
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/redhat-linux-build
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/redhat-linux-build/src
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/redhat-linux-build/src/lexer.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/redhat-linux-build/src/lexer.flex
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/check.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/check.h
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/code.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/code.h
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/expr.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/expr.h
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/lexer.h
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/lfscc.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/libwriter.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/libwriter.h
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/main.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/print_smt2.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/print_smt2.h
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/scccode.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/scccode.h
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/sccwriter.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/sccwriter.h
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/token.cpp
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/token.h
/usr/src/debug/lfsc-0.20210305-5.fc38.x86_64/src/trie.cpp

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

تاریخ آخرین تغییر	جزئیات
2023-01-19	Add -stdint patch to fix FTBFS
2023-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-11-28	New project URL Convert License tag to SPDX
2022-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-17	Update to 20210305 git snapshot
2021-01-26	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2021-01-19	Update to 20201110 snapshot