معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Large documentation files for frama-c

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything noarch
نام بسته	frama-c-doc
نام فایل بسته	frama-c-doc-26.1-2.fc38.noarch.rpm
نسخه بسته	26.1
انتشار بسته	2.fc38
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Wed 18 Oct 2023 08
هاست سازنده	buildvm-x86-30.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
حجم دانلود	13M
حجم نصب	73.859M

Large documentation files for frama-c.

جایگزین ها

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

نیازمندی

مقدار	نام
= 26.1-2.fc38	frama-c

ارائه دهنده

مقدار	نام
= 26.1-2.fc38	frama-c-doc

نحوه نصب

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

dnf install frama-c-doc-26.1-2.fc38.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-26.1-Iron.pdf
/usr/share/doc/frama-c/aorai-manual-26.1-Iron.pdf
/usr/share/doc/frama-c/e-acsl-implementation-26.1-Iron.pdf
/usr/share/doc/frama-c/e-acsl-manual-26.1-Iron.pdf
/usr/share/doc/frama-c/eva-manual-26.1-Iron.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 12218 more

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

تاریخ آخرین تغییر	جزئیات
2023-10-18	Rebuild for coq 8.17.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
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