معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Large documentation files for frama-c

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything noarch
نام بسته	frama-c-doc
نام فایل بسته	frama-c-doc-25.0-4.fc37.noarch.rpm
نسخه بسته	25.0
انتشار بسته	4.fc37
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	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
حجم دانلود	68M
حجم نصب	412.790M

Large documentation files for frama-c.

جایگزین ها

بسته	نسخه	معماری	مخزن
frama-c-doc-26.1-1.fc37.noarch.rpm	26.1	noarch	Fedora Everything

نیازمندی

مقدار	نام
= 25.0-4.fc37	frama-c

ارائه دهنده

مقدار	نام
= 25.0-4.fc37	frama-c-doc

نحوه نصب

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

dnf install frama-c-doc-25.0-4.fc37.noarch.rpm

فایل ها

مسیرها
/usr/share/doc/frama-c-doc
/usr/share/doc/frama-c-doc/acsl-implementation-25.0-Manganese.pdf
/usr/share/doc/frama-c-doc/aorai-manual-25.0-Manganese.pdf
/usr/share/doc/frama-c-doc/e-acsl-implementation-25.0-Manganese.pdf
/usr/share/doc/frama-c-doc/e-acsl-manual-25.0-Manganese.pdf
/usr/share/doc/frama-c-doc/eva-manual-25.0-Manganese.pdf
/usr/share/doc/frama-c-doc/frama-c-api
/usr/share/doc/frama-c-doc/frama-c-api/callgraph
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.Cg.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.Options.Filename.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.Options.Service_roots.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.Options.Services.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.Options.Uncalled.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.Options.Uncalled_leaf.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.Options.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.Services.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.Uses.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.ocamldoc
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph.txt
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph_api.Graph.G.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph_api.Graph.Subgraph.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph_api.Graph.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph_api.S.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph_api.Services.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Callgraph_api.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Cg.Graphviz_attributes.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Cg.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Journalize.Make.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Journalize.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Options.Filename.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Options.Function_pointers.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Options.Roots.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Options.Service_roots.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Options.Services.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Options.Uncalled.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Options.Uncalled_leaf.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Options.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Register.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Services.Graphviz_attributes.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Services.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Subgraph.Make.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Subgraph.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/Uses.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/index.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/index_attributes.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/index_class_types.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/index_classes.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/index_exceptions.html
/usr/share/doc/frama-c-doc/frama-c-api/callgraph/index_methods.html
... and 6075 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