معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug sources for package frama-c

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	frama-c-debugsource
نام فایل بسته	frama-c-debugsource-26.1-1.fc37.x86_64.rpm
نسخه بسته	26.1
انتشار بسته	1.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Wed 15 Feb 2023 09
هاست سازنده	buildhw-x86-13.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.2M
حجم نصب	12.266M

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-25.0-4.fc37.x86_64.rpm	25.0	x86_64	Fedora Everything
frama-c-debugsource-26.1-1.fc37.aarch64.rpm	26.1	aarch64	Fedora Everything

ارائه دهنده

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

نحوه نصب

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

dnf install frama-c-debugsource-26.1-1.fc37.x86_64.rpm

فایل ها

مسیرها
/usr/src/debug/frama-c-26.1-1.fc37.x86_64
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/share
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/share/analysis-scripts
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/share/analysis-scripts/list_functions.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/Config_data.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/init
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/init/boot
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/init/boot/boot.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/init/frama_c_init.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/init/impl_gui
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/init/impl_gui/gui_init.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/clexer.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/clexer.mll
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/cparser.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/cparser.mly
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/errorloc.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/lexerhack.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/logic_lexer.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/logic_lexer.mll
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/logic_preprocess.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/logic_preprocess.mll
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/parsing/parse_env.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/runtime
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/runtime/dump_config.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/runtime/fc_config.ml.in
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/runtime/messages.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/runtime/special_hooks.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/allocates.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/alpha.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/asm_contracts.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/cabs2cil.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/cfg.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/frontc.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/ghost_accesses.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/ghost_cfg.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/infer_annotations.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/logic_builtin.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/mergecil.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/oneret.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/rmtmps.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/substitute_const_globals.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/translate_lightweight.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_internals/typing/unroll_loops.ml
/usr/src/debug/frama-c-26.1-1.fc37.x86_64/_build/default/src/kernel_services
... and 789 more

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

تاریخ آخرین تغییر	جزئیات
2023-02-15	Version 26.1
2022-12-07	Rebuild to fix ocaml-dune-site dependency
2022-11-26	Version 26.0 Add Requires on ppx_import (bz 2148391)
2022-11-01	Rebuild for ocaml-ppxlib 0.28.0
2022-10-29	Fix a path in e-acsl-gcc.sh (bz 2137875)
2022-10-18	Rebuild for ocaml-stdint 0.7.1
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