معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug sources for package frama-c

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything aarch64
نام بسته	frama-c-debugsource
نام فایل بسته	frama-c-debugsource-28.1-2.fc39.aarch64.rpm
نسخه بسته	28.1
انتشار بسته	2.fc39
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Thu Apr 18 22
هاست سازنده	buildvm-a64-09.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 GPL-2.0-or-later AND CC0-1.0 AND CC-BY-SA-4.0 AND BSD-3-Clause AND QPL-1.0-INRIA-2004 WITH QPL-1.0-INRIA-2004-exception
حجم دانلود	2.5M
حجم نصب	19.966M

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-27.1-4.fc39.aarch64.rpm	27.1	aarch64	Fedora Everything
frama-c-debugsource-27.1-4.fc39.x86_64.rpm	27.1	x86_64	Fedora Everything
frama-c-debugsource-27.1-5.fc39.aarch64.rpm	27.1	aarch64	Fedora Everything
frama-c-debugsource-27.1-5.fc39.x86_64.rpm	27.1	x86_64	Fedora Everything
frama-c-debugsource-28.1-2.fc39.x86_64.rpm	28.1	x86_64	Fedora Everything

ارائه دهنده

مقدار	نام
= 28.1-2.fc39	frama-c-debugsource
= 28.1-2.fc39	frama-c-debugsource(aarch-64)

نحوه نصب

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

dnf install frama-c-debugsource-28.1-2.fc39.aarch64.rpm

فایل ها

مسیرها
/usr/src/debug/frama-c-28.1-2.fc39.aarch64
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/share
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/share/analysis-scripts
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/share/analysis-scripts/list_functions.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/Config_data.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/init
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/init/boot
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/init/boot/boot.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/init/frama_c_init.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/clexer.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/clexer.mll
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/cparser.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/cparser.mly
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/errorloc.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/lexerhack.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/logic_lexer.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/logic_lexer.mll
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/logic_parser.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/logic_parser.mly
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/logic_preprocess.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/logic_preprocess.mll
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/parsing/parse_env.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/runtime
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/runtime/dump_config.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/runtime/fc_config.ml.in
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/runtime/machdep.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/runtime/messages.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/runtime/special_hooks.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/allocates.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/alpha.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/asm_contracts.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/cabs2cil.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/cfg.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/frontc.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/ghost_accesses.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/ghost_cfg.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/infer_assigns.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/logic_builtin.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/mergecil.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/oneret.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/populate_spec.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/rmtmps.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/substitute_const_globals.ml
/usr/src/debug/frama-c-28.1-2.fc39.aarch64/_build/default/src/kernel_internals/typing/translate_lightweight.ml
... and 799 more

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

تاریخ آخرین تغییر	جزئیات
2024-04-18	Rebuild for why3 1.7.2
2024-03-04	Version 28.1
2024-02-02	Rebuild for why3 1.7.1
2024-01-02	Version 28.0 Drop upstreamed patches Add patch for whitespace differences in the tests
2023-11-14	Fix failure to find plugins (bz 2249607) Install the zsh completion file
2023-09-09	Rebuild for ocaml-ocamlgraph 2.1.0
2023-07-27	Rebuild for ocaml-zarith 1.13
2023-07-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-18	Version 27.1 Validate metainfo with appstream-util
2023-07-14	Rebuild for ocaml-ctypes 0.21.0
2023-07-12	OCaml 5.0 rebuild for Fedora 39
2023-07-10	Version 27.0
2023-06-10	Rebuild for ocaml-dune-site 3.8.1
2023-02-15	Version 26.1
2023-01-24	Bump release and rebuild
2023-01-24	Rebuild OCaml packages for F38