معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Debug sources for package frama-c

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything aarch64
نام بسته	frama-c-debugsource
نام فایل بسته	frama-c-debugsource-26.1-1.fc38.aarch64.rpm
نسخه بسته	26.1
انتشار بسته	1.fc38
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Wed 15 Feb 2023 09
هاست سازنده	buildvm-a64-06.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
حجم دانلود	13K
حجم نصب	6.329K

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-26.1-1.fc38.x86_64.rpm	26.1	x86_64	Fedora Everything
frama-c-debugsource-26.1-2.fc38.aarch64.rpm	26.1	aarch64	Fedora Everything
frama-c-debugsource-26.1-2.fc38.x86_64.rpm	26.1	x86_64	Fedora Everything

ارائه دهنده

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

نحوه نصب

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

dnf install frama-c-debugsource-26.1-1.fc38.aarch64.rpm

فایل ها

مسیرها
/usr/src/debug/frama-c-26.1-1.fc38.aarch64
/usr/src/debug/frama-c-26.1-1.fc38.aarch64/_build
/usr/src/debug/frama-c-26.1-1.fc38.aarch64/_build/default
/usr/src/debug/frama-c-26.1-1.fc38.aarch64/_build/default/src
/usr/src/debug/frama-c-26.1-1.fc38.aarch64/_build/default/src/libraries
/usr/src/debug/frama-c-26.1-1.fc38.aarch64/_build/default/src/libraries/utils

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

تاریخ آخرین تغییر	جزئیات
2023-02-15	Version 26.1
2023-01-24	Bump release and rebuild
2023-01-24	Rebuild OCaml packages for F38
2023-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
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