معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Large documentation files for frama-c

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything noarch
نام بسته	frama-c-doc
نام فایل بسته	frama-c-doc-28.1-2.fc39.noarch.rpm
نسخه بسته	28.1
انتشار بسته	2.fc39
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Thu 18 Apr 2024 10
هاست سازنده	buildvm-x86-05.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
حجم نصب	80.611M

Large documentation files for frama-c.

جایگزین ها

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

نیازمندی

مقدار	نام
= 28.1-2.fc39	frama-c

ارائه دهنده

مقدار	نام
= 28.1-2.fc39	frama-c-doc

نحوه نصب

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

dnf install frama-c-doc-28.1-2.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-28.1-Nickel.pdf
/usr/share/doc/frama-c/aorai-manual-28.1-Nickel.pdf
/usr/share/doc/frama-c/e-acsl-implementation-28.1-Nickel.pdf
/usr/share/doc/frama-c/e-acsl-manual-28.1-Nickel.pdf
/usr/share/doc/frama-c/eva-manual-28.1-Nickel.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-alias
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/Abstract_state
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/Abstract_state/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/Analysis
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/Analysis/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/index.html
/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-_
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/argument-1-_/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-_
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Bool/argument-1-_/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
... and 12456 more

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

تاریخ آخرین تغییر	جزئیات
2024-04-18	Rebuild for why3 1.7.2
2024-03-04	Version 28.1
2024-02-02	Rebuild for why3 1.7.1
2024-01-02	Version 28.0 Drop upstreamed patches Add patch for whitespace differences in the tests
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