معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Large documentation files for frama-c

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything noarch
نام بسته	frama-c-doc
نام فایل بسته	frama-c-doc-27.1-5.fc39.noarch.rpm
نسخه بسته	27.1
انتشار بسته	5.fc39
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Wed 15 Nov 2023 01
هاست سازنده	buildvm-x86-04.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
حجم دانلود	14M
حجم نصب	79.801M

Large documentation files for frama-c.

جایگزین ها

بسته	نسخه	معماری	مخزن
frama-c-doc-27.1-4.fc39.noarch.rpm	27.1	noarch	Fedora Everything
frama-c-doc-28.1-2.fc39.noarch.rpm	28.1	noarch	Fedora Everything

نیازمندی

مقدار	نام
= 27.1-5.fc39	frama-c

ارائه دهنده

مقدار	نام
= 27.1-5.fc39	frama-c-doc

نحوه نصب

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

dnf install frama-c-doc-27.1-5.fc39.noarch.rpm

فایل ها

مسیرها
/usr/share/doc/frama-c
/usr/share/doc/frama-c/README.dive.md
/usr/share/doc/frama-c/README.e-acsl
/usr/share/doc/frama-c/README.instantiate.md
/usr/share/doc/frama-c/README.loop-analysis.org
/usr/share/doc/frama-c/README.markdown-report.md
/usr/share/doc/frama-c/README.nonterm.md
/usr/share/doc/frama-c/acsl-implementation-27.1-Cobalt.pdf
/usr/share/doc/frama-c/aorai-manual-27.1-Cobalt.pdf
/usr/share/doc/frama-c/e-acsl-implementation-27.1-Cobalt.pdf
/usr/share/doc/frama-c/e-acsl-manual-27.1-Cobalt.pdf
/usr/share/doc/frama-c/eva-manual-27.1-Cobalt.pdf
/usr/share/doc/frama-c/frama-c-api
/usr/share/doc/frama-c/frama-c-api/frama-c
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai/Aorai
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai/Aorai/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT/Datatype
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT/Datatype/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/Datatype
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/Datatype/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/argument-1-X
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/argument-1-X/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Bool
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Bool/Datatype
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Bool/Datatype/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Bool/argument-1-X
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Bool/argument-1-X/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Bool/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Config
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Config/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Debug
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Debug/Datatype
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Debug/Datatype/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Debug/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Empty_string
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Empty_string/Datatype
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Empty_string/Datatype/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Empty_string/argument-1-X
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Empty_string/argument-1-X/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Empty_string/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/False
... and 12252 more

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

تاریخ آخرین تغییر	جزئیات
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
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