معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug sources for package frama-c

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	frama-c-debugsource
نام فایل بسته	frama-c-debugsource-25.0-4.fc37.x86_64.rpm
نسخه بسته	25.0
انتشار بسته	4.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Sat 17 Sep 2022 07
هاست سازنده	buildvm-x86-17.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://frama-c.com/
مجوز	LGPL-2.1-only AND LGPL-2.1-or-later AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception AND CC0-1.0 AND CC-BY-SA-4.0 AND BSD-3-Clause AND QPL-1.0
حجم دانلود	2.3M
حجم نصب	13.025M

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

جایگزین ها

بسته	نسخه	معماری	مخزن
frama-c-debugsource-25.0-4.fc37.aarch64.rpm	25.0	aarch64	Fedora Everything
frama-c-debugsource-26.1-1.fc37.aarch64.rpm	26.1	aarch64	Fedora Everything
frama-c-debugsource-26.1-1.fc37.x86_64.rpm	26.1	x86_64	Fedora Everything

ارائه دهنده

مقدار	نام
= 25.0-4.fc37	frama-c-debugsource
= 25.0-4.fc37	frama-c-debugsource(x86-64)

نحوه نصب

نصب پکیج rpm frama-c-debugsource:

dnf install frama-c-debugsource-25.0-4.fc37.x86_64.rpm

فایل ها

مسیرها
/usr/src/debug/frama-c-25.0-4.fc37.x86_64
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/clexer.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/clexer.mll
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/cparser.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/cparser.mly
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/errorloc.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/lexerhack.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/logic_lexer.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/logic_lexer.mll
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/logic_parser.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/logic_parser.mly
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/logic_preprocess.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/logic_preprocess.mll
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/parsing/parse_env.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/runtime
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/runtime/boot.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/runtime/dump_config.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/runtime/fc_config.ml.in
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/runtime/frama_c_init.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/runtime/gui_init.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/runtime/messages.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/runtime/special_hooks.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/allocates.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/alpha.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/asm_contracts.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/cabs2cil.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/cfg.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/frontc.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/ghost_accesses.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/ghost_cfg.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/infer_annotations.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/logic_builtin.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/mergecil.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/oneret.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/rmtmps.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/substitute_const_globals.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/translate_lightweight.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_internals/typing/unroll_loops.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_services
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_services/abstract_interp
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_services/abstract_interp/abstract_interp.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_services/abstract_interp/base.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_services/abstract_interp/fc_float.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_services/abstract_interp/float_interval.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_services/abstract_interp/fval.ml
/usr/src/debug/frama-c-25.0-4.fc37.x86_64/src/kernel_services/abstract_interp/int_Base.ml
... and 772 more

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

تاریخ آخرین تغییر	جزئیات
2022-09-16	Rebuild for why3 1.5.1
2022-08-17	Rebuild for ocaml-ppx-deriving-yojson 3.7.0 Convert License tag to SPDX
2022-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-20	Remove i686 support
2022-07-07	Version 25.0 Drop coq 8.14 compatibility patch Drop coq BR; coq is now invoked via why3
2022-06-19	OCaml 4.14.0 rebuild
2022-03-25	Rebuild for coq 8.15.1 and ocaml-zmq 5.1.5
2022-02-28	Rebuild for coq 8.15.0 and why3 1.4.1
2022-02-04	OCaml 4.13.1 rebuild to remove package notes
2022-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-12-27	Rebuild for ocaml-ppxlib 0.24.0
2021-12-07	Version 24.0 Drop upstreamed fix for OCaml 4.13
2021-11-30	Rebuild for coq 8.14.1 and ocaml-sexplib0 0.15.0
2021-10-21	Rebuild for coq 8.14.0 and ocaml-zmq 5.1.4 Add -coq8.14 patch Drop XEmacs support
2021-10-05	OCaml 4.13.1 build
2021-10-04	Try to build on s390x with OCaml 4.13