Packages / Fedora 43 / Unspecified / frama-c

Package: frama-c (33.0-1.fc43)

Framework for source code analysis of C software

Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.

Other Packages Related to frama-c:

dep: /usr/bin/bash
Package not available
dep: /usr/bin/python3
Package not available
dep: /usr/bin/sh
Package not available
dep: [alt-ergo]
Automated theorem prover including linear arithmetic
dep: [flamegraph]
Stack trace visualizer
dep: [gcc]
Various compilers (C, C++, Objective-C, ...)
dep: [graphviz]
Graph Visualization Tools
dep: [hicolor-icon-theme]
Basic requirement for icon themes
dep: ld-linux-aarch64.so.1()(64bit)
Package not available
dep: ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
Package not available
dep: libgmp.so.10()(64bit)
Package not available
dep: libm.so.6()(64bit)
Package not available
dep: libm.so.6(GLIBC_2.17)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.27)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.29)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.35)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.38)(64bit)
Package not available
dep: libyaml-0.so.2()(64bit)
Package not available
dep: libz-ng.so.2()(64bit)
Package not available
dep: libz-ng.so.2(ZLIB_NG_2.0.0)(64bit)
Package not available
dep: libz-ng.so.2(ZLIB_NG_2.1.0)(64bit)
Package not available
dep: libzstd.so.1()(64bit)
Package not available
dep: ocaml(Apron) (= 7f76e32d168dc67793a68597856ed95f)
Package not available
dep: ocaml(Astlib) (= 0e7cf33d0c8820275e63b1e0c534f574)
Package not available
dep: ocaml(Astlib__) (= f4a1f0b52686b3829d06fa17083aab13)
Package not available
dep: ocaml(Astlib__Ast_408) (= 023be6971c2c360fb2c12ecbf97fa204)
Package not available
dep: ocaml(Astlib__Ast_409) (= 60c53f83ca62fb23568e56a85f11ba00)
Package not available
dep: ocaml(Astlib__Ast_410) (= cd1b7c6807fea66a40aac3d2a8b851af)
Package not available
dep: ocaml(Astlib__Ast_411) (= 6db317dec32e7f179cffa016eb1780b1)
Package not available
dep: ocaml(Astlib__Ast_412) (= 7fc3c22115b5911a5be47bfcd27c3292)
Package not available
dep: ocaml(Astlib__Ast_413) (= d786652cf64580285b5807ea09cc1625)
Package not available
dep: ocaml(Astlib__Ast_414) (= ac524b7c60df8c4b389db8aa6f20485e)
Package not available
dep: ocaml(Astlib__Ast_500) (= 5638b03cbf5d6e22eb71d43b84d68d7b)
Package not available
dep: ocaml(Astlib__Ast_501) (= eddb00547e1ccc8cb4f2343a3b59a97b)
Package not available
dep: ocaml(Astlib__Ast_502) (= 07106a5c3769bc3c7b079045320e6e1f)
Package not available
dep: ocaml(Astlib__Ast_503) (= 6e222fc663708e1274f58bf7a985f1d2)
Package not available
dep: ocaml(Astlib__Location) (= d41f6d7f3ee84633ef3ee30cd2177f05)
Package not available
dep: ocaml(Astlib__Longident) (= 995a07d970f7df823a2450f8f89931a4)
Package not available
dep: ocaml(Astlib__Parse) (= 28f39324c9dbccd4711e3d5dcb1bc0e9)
Package not available
dep: ocaml(Asttypes) (= ee5ea19ab996e4503ae182f530861d78)
Package not available
dep: ocaml(Big_int_Z) (= f7619514b131a39933cc9ce06f741304)
Package not available
dep: ocaml(Box) (= 87db455ad2fa356a86d540f34f9f12ff)
Package not available
dep: ocaml(Build_path_prefix_map) (= 9a894c5ddec61ee9b5c415c0520a7367)
Package not available
dep: ocaml(CamlinternalFormatBasics) (= aa550bdab521d60e769a9ad43a677e65)
Package not available
dep: ocaml(CamlinternalLazy) (= e6f402abe3d0b60a19bf6c6c6c6f0848)
Package not available
dep: ocaml(CamlinternalMod) (= 2841d459081b0d0dfe3bde24f9787af1)
Package not available
dep: ocaml(CamlinternalOO) (= 7104364f38cf3c63ed2f3069b6f44253)
Package not available
dep: ocaml(Clflags) (= 78abf8ca062640e6b330fdd867adb0c9)
Package not available
dep: ocaml(Cmi_format) (= 7dd5ccd3388dae280362ceeaf05faa7d)
Package not available
dep: ocaml(Compmisc) (= fd03c790baa867d49047fb9515c19b19)
Package not available
dep: ocaml(Dune_section) (= 43c5d8d0d97220f197e6e45d6740dd9e)
Package not available
dep: ocaml(Dune_site) (= 539c1c4d2beaa966ae89075a9e89ce23)
Package not available
dep: ocaml(Dune_site__) (= 4aaa844e017df079d14ce60387caff2c)
Package not available
dep: ocaml(Dune_site__Helpers) (= f91009e945b7a932ca64b7557c9bb35f)
Package not available
dep: ocaml(Dune_site_plugins) (= 598f78022249c51347f4fffa63701dda)
Package not available
dep: ocaml(Dune_site_plugins__) (= 9abccdfd13fb3eda03d735bb219b36af)
Package not available
dep: ocaml(Dune_site_plugins__Meta_parser) (= e3655e1dfd6691188220f6972c9be094)
Package not available
dep: ocaml(Dune_site_plugins__Plugins) (= f42870605140d01d0bf1773146bd516a)
Package not available
dep: ocaml(Dynlink) (= fecb619bede234b520106e08984c0058)
Package not available
dep: ocaml(Env) (= 88d47d47c93f5f2195d9ead33a85245c)
Package not available
dep: ocaml(Format_doc) (= 682b04da0a4bde85a14ff1b29e868f2c)
Package not available
dep: ocaml(Fpath) (= c22e94afbb02418334e37e0988daf6f0)
Package not available
dep: ocaml(Graph) (= 1f9d26333ac499e2a53f41aa3843eb86)
Package not available
dep: ocaml(Graph__) (= 544927b85bb52a52fed2de552e8615b0)
Package not available
dep: ocaml(Graph__Blocks) (= 22aea1d129f3e8c1b39b84ac37649430)
Package not available
dep: ocaml(Graph__Builder) (= 35f4e81fa80c53977ad0fb92a6e73e58)
Package not available
dep: ocaml(Graph__Components) (= f09077410d1d81d09e8cfe86b331c35b)
Package not available
dep: ocaml(Graph__Fixpoint) (= 2a0078d54e59aee372705ca30466824d)
Package not available
dep: ocaml(Graph__Graphviz) (= b6debbd81bac8b7fded26b3d82f5e148)
Package not available
dep: ocaml(Graph__Imperative) (= 27112151b9444f5ac708440ae9355fd3)
Package not available
dep: ocaml(Graph__Oper) (= 3d314c285a560b6b549ea2df6a273e82)
Package not available
dep: ocaml(Graph__Path) (= 876e61e1bc2627a1e9bbfd0b805748aa)
Package not available
dep: ocaml(Graph__Persistent) (= 23b6542fe7f3fdb87f69c2100172a8a8)
Package not available
dep: ocaml(Graph__Sig) (= 880e0a51dd1400b272d4a6621da601ef)
Package not available
dep: ocaml(Graph__Topological) (= 3d82c3950fa1871719d4becc3490f124)
Package not available
dep: ocaml(Graph__Traverse) (= 972de94561991bb600630327074758f8)
Package not available
dep: ocaml(Graph__Util) (= f6b456934ebdbc95d7c452578293e76c)
Package not available
dep: ocaml(Gzip) (= 372221fdb10461cb916ad0c53a4a9aa5)
Package not available
dep: ocaml(Ident) (= e6f67bd53b973b79d3a9064753332e5f)
Package not available
dep: ocaml(Identifiable) (= b60b34f245694a37fc383f9cad5d1080)
Package not available
dep: ocaml(Load_path) (= e16f7783ef426d2a59927a09ca01e718)
Package not available
dep: ocaml(Location) (= 1415164723ab4315cfe92e93703f6951)
Package not available
dep: ocaml(Longident) (= 7a4c66b4b7e709bf48b56a59b5e5419f)
Package not available
dep: ocaml(MenhirLib) (= 63aac4ac7fe77c053142eb706b661cd4)
Package not available
dep: ocaml(Misc) (= 58535dc61c7c19378ef828f1c8e6b433)
Package not available
dep: ocaml(Mpf) (= 77c90a8ba11548fe3de6e5a509fbeeb9)
Package not available
dep: ocaml(Mpfr) (= 537680473efa87b714c4875d9fb3f6ef)
Package not available
dep: ocaml(Mpfrf) (= 342031cfb42ee7cc16c55654f3afe352)
Package not available
dep: ocaml(Mpq) (= 452c18653d1d4565db57a084b09eeb68)
Package not available
dep: ocaml(Mpqf) (= b281353479c9b5c5891fa52ba1868bfc)
Package not available
dep: ocaml(Mpz) (= 40fe4d4fb7bb5012c39a76f28d5545a7)
Package not available
dep: ocaml(Mpzf) (= d22e50f7cbbf67e5d84451e276321844)
Package not available
dep: ocaml(Ocaml_common) (= b50850d9a0b6dd32fecafd1f1fbf727d)
Package not available
dep: ocaml(Ocaml_shadow) (= 2b7ce0c404539219abc3d92812098c0a)
Package not available
dep: ocaml(Oct) (= 3cb0006191f88326231a1484fc6dbd10)
Package not available
dep: ocaml(Outcometree) (= 96368510dda82e8528ad4b3082343049)
Package not available
dep: ocaml(Parsetree) (= 165d0e6aab21e53c75235445422b44ad)
Package not available
dep: ocaml(Parsexp) (= 85e44294883470c2f0f6d46287d12f5e)
Package not available
dep: ocaml(Parsexp__) (= ce7e8bcced9d54a2ce281195da05da49)
Package not available
dep: ocaml(Parsexp__Automaton_stack) (= 702031ba5864e38b4c4b539e67e5d356)
Package not available
dep: ocaml(Parsexp__Automaton_stack_intf) (= 9a68f8e862a80854889667a96319a227)
Package not available
dep: ocaml(Parsexp__Automaton_state) (= 05fdf46d0f533fd04dafe884b8d6042e)
Package not available
dep: ocaml(Parsexp__Automaton_state_intf) (= 9363fc678345bb0ad89729eddb4c34ec)
Package not available
dep: ocaml(Parsexp__Conv) (= 0180f7e1ae741da0c1f833520742803c)
Package not available
dep: ocaml(Parsexp__Conv_error) (= 7cec6fde41958fc7599f6e15f89feb49)
Package not available
dep: ocaml(Parsexp__Conv_intf) (= 74eb3cdb6b31f44165dd7a16e468208d)
Package not available
dep: ocaml(Parsexp__Cst) (= 913b7539f4e928839b41a29884998eff)
Package not available
dep: ocaml(Parsexp__Import) (= 83f172b58825a11d53c478a0c754fd32)
Package not available
dep: ocaml(Parsexp__Of_sexp_error) (= 15687df5182251d43d4fa3586fb909c9)
Package not available
dep: ocaml(Parsexp__Old_parser_cont_state) (= 64359c17eab7290ca3e15e85aa5174cd)
Package not available
dep: ocaml(Parsexp__Parse_error) (= 9ec699ed4691a0dc7da338cfef0f0b29)
Package not available
dep: ocaml(Parsexp__Parse_error_intf) (= 8183c112e66e0dd5e32f3e806cf6d335)
Package not available
dep: ocaml(Parsexp__Parser) (= 579bf74c0d59e1e2f84e16647598e349)
Package not available
dep: ocaml(Parsexp__Parser_intf) (= dd8202c75cd11c06225f751a70a63151)
Package not available
dep: ocaml(Parsexp__Parsexp_intf) (= 16ed6500c873a9461c614ce54343dbb3)
Package not available
dep: ocaml(Parsexp__Positions) (= 4b7555123d9ba967520f07fd60a6f280)
Package not available
dep: ocaml(Path) (= d251296ef600129af862223ebfd13653)
Package not available
dep: ocaml(Polka) (= 12048dbb3b7904de8530c10ae06d2593)
Package not available
dep: ocaml(Pprintast) (= 4e38aeff88e3987d924229b4bd4acc19)
Package not available
dep: ocaml(Ppx_deriving_runtime) (= 9f962c4760378e58ed5164b320e5fea0)
Package not available
dep: ocaml(Ppx_deriving_yojson_runtime) (= 5a0d1a85e801a6142e779988e4f49465)
Package not available
dep: ocaml(Ppxlib) (= 896bafd60e38a9ea7b3a5a95c099af63)
Package not available
dep: ocaml(Ppxlib__) (= 09191a5fd36cb94f7b654ccf6ed4cb3f)
Package not available
dep: ocaml(Ppxlib__Ast_builder) (= 68e58c60e0f81e5d5c4bb1b6f7192bcd)
Package not available
dep: ocaml(Ppxlib__Ast_builder_generated) (= 88f58785af4332edb4c5336c31d3c277)
Package not available
dep: ocaml(Ppxlib__Ast_builder_intf) (= 59110c2313359927e4a8ef1db9f60fdd)
Package not available
dep: ocaml(Ppxlib__Ast_pattern) (= 24cea72209bfd4bd594e9c6e4e8ebd04)
Package not available
dep: ocaml(Ppxlib__Ast_pattern0) (= df62c1be9e343d3636f3cb1f8e55ce7e)
Package not available
dep: ocaml(Ppxlib__Ast_pattern_generated) (= 579676faf3ecec43875925388124dc4f)
Package not available
dep: ocaml(Ppxlib__Ast_traverse) (= cf865e152cfc2e5d4b265e32c81d4f1a)
Package not available
dep: ocaml(Ppxlib__Ast_traverse0) (= 7ea0309b59124f3f98550fb0d6b71e40)
Package not available
dep: ocaml(Ppxlib__Attribute) (= 65566897f8af140cbe4e535cbd686727)
Package not available
dep: ocaml(Ppxlib__Code_path) (= 0f0e8f2cb5e9b41a26f8b2a63a66acb6)
Package not available
dep: ocaml(Ppxlib__Common) (= 541a6d2736523fe58b2749ebe9a9247c)
Package not available
dep: ocaml(Ppxlib__Context_free) (= bccbd9c66e8c8f459ea7120ba7815a52)
Package not available
dep: ocaml(Ppxlib__Driver) (= ee93d7f3a7f0b26c43b81b70201c5a19)
Package not available
dep: ocaml(Ppxlib__Expansion_context) (= 076772a093cbcda7ba02bb11f1bbff98)
Package not available
dep: ocaml(Ppxlib__Extension) (= 40a95bf77ef45b9399020e967346454f)
Package not available
dep: ocaml(Ppxlib__Import) (= d41a2187b59b1b70e0f567071d71baf4)
Package not available
dep: ocaml(Ppxlib__Loc) (= dbbf7e20645d73d2282e54dc76c76edb)
Package not available
dep: ocaml(Ppxlib__Location) (= 9655fae788f55b4ee984f6ac54bab1e6)
Package not available
dep: ocaml(Ppxlib__Longident) (= e27ba17ac6767275d95fe2aa3feb0fc0)
Package not available
dep: ocaml(Ppxlib__Name) (= 7eb4acfa75be12ab01d4226f3348bb9b)
Package not available
dep: ocaml(Ppxlib__Utils) (= 04a1c3f90ec49af8cc353f5a6a6e1f76)
Package not available
dep: ocaml(Ppxlib_ast) (= c25efa6ee86e09bca4dda629fe744e2d)
Package not available
dep: ocaml(Ppxlib_ast__) (= 4091efbdbe1aabac0f7858ae630f2043)
Package not available
dep: ocaml(Ppxlib_ast__Ast) (= 3c4ab67444efbddb38bba0c4de46c4e0)
Package not available
dep: ocaml(Ppxlib_ast__Import) (= b1669b87e81bb46a42d9fc187b931c83)
Package not available
dep: ocaml(Ppxlib_ast__Versions) (= 6642e5b503b01cf442f610110be821f9)
Package not available
dep: ocaml(Ppxlib_traverse_builtins) (= 39f5d0367a53054706ebf6d7f166a13e)
Package not available
dep: ocaml(Primitive) (= 46892b6dc5c1ed948d4818c2153c335c)
Package not available
dep: ocaml(Profile) (= 366ea881d4ee61d32873cb5900f67cea)
Package not available
dep: ocaml(Q) (= fded9f6db30753026b5c2d3012382e71)
Package not available
dep: ocaml(Re) (= 94063f8780394293664e78b9a1c3b870)
Package not available
dep: ocaml(Re__) (= ecb3863b886df299af3a2e12bb1c2380)
Package not available
dep: ocaml(Re__Ast) (= 3ef6861ca78e99a3a7e3caec50ffde73)
Package not available
dep: ocaml(Re__Automata) (= 527422858a46734901a621b29ad24a05)
Package not available
dep: ocaml(Re__Category) (= 31d5cadc13df53119b05a7a85ca205dd)
Package not available
dep: ocaml(Re__Color_map) (= b5d4c7473ed8d5a1ef8e38ffb7fc8add)
Package not available
dep: ocaml(Re__Compile) (= 38f7f832c8f3c0e4df6f927fedae8014)
Package not available
dep: ocaml(Re__Core) (= b2115de78a75a33428688637c246c594)
Package not available
dep: ocaml(Re__Cset) (= 78dee660c05b3ccac02ca99206f021b0)
Package not available
dep: ocaml(Re__Fmt) (= 1ce25e0f63d6500d435c74277aee406d)
Package not available
dep: ocaml(Re__Group) (= 8a54138d4dafd5ef15a917dda12a3582)
Package not available
dep: ocaml(Re__Mark_infos) (= 55883bd67665f05d542afff217c78f59)
Package not available
dep: ocaml(Re__Pmark) (= f3e2c5249a37986609d9753456a6752f)
Package not available
dep: ocaml(Re__Replace) (= 53427fcef59ba09593a2f31a0f30a9e4)
Package not available
dep: ocaml(Re__Str) (= 8e15c849f5a934da9eeb707656a4dee8)
Package not available
dep: ocaml(Sexplib) (= b82a55a891898dce0e60f76568c4a5bd)
Package not available
dep: ocaml(Sexplib0) (= bc68dbd2e76339ec5638da9d4c338f13)
Package not available
dep: ocaml(Sexplib0__) (= feb269136f42dd22b4e94da8028d5208)
Package not available
dep: ocaml(Sexplib0__Sexp) (= daf559cf5a6289d9a29acc235f0116fe)
Package not available
dep: ocaml(Sexplib0__Sexp_conv) (= d4c90e182d37964b46bc4ba0b2e61ba1)
Package not available
dep: ocaml(Sexplib0__Sexp_conv_error) (= 8ea39320244fca57917ca8659cf3c6cf)
Package not available
dep: ocaml(Sexplib0__Sexp_conv_grammar) (= b08d94ca27b3da663c99442a27621ea6)
Package not available
dep: ocaml(Sexplib0__Sexp_conv_record) (= 017827ead8ca51bcfa9a29afb34036c0)
Package not available
dep: ocaml(Sexplib0__Sexp_grammar) (= bd6d71eee88627da787e2aa62c859f13)
Package not available
dep: ocaml(Sexplib0__Sexpable) (= 03ca70cb2474523dfafbff8b0ca7463c)
Package not available
dep: ocaml(Sexplib__Conv) (= 34cb53ee93529bc9c07292d67cc178a2)
Package not available
dep: ocaml(Sexplib__Lexer) (= 55581d9b0aada10d203178749c05e70e)
Package not available
dep: ocaml(Sexplib__Parser) (= 20c469110fa5b1eac71d19490810eba1)
Package not available
dep: ocaml(Sexplib__Parser_with_layout) (= 5f94ab5c4a94809368978010da0e592b)
Package not available
dep: ocaml(Sexplib__Pre_sexp) (= 4d1edd7bede6ec52026e968f8e0513a4)
Package not available
dep: ocaml(Sexplib__Sexp) (= 2840de8bde3f005843db886cebe8ee6c)
Package not available
dep: ocaml(Sexplib__Sexp_intf) (= 3262c279cff6ccbbf6e59840b3b723cb)
Package not available
dep: ocaml(Sexplib__Src_pos) (= 4e13ec0eff7fa196f72b2916e233c306)
Package not available
dep: ocaml(Sexplib__Std) (= 7d3fd6ed3108230d591dde18e492c6c6)
Package not available
dep: ocaml(Sexplib__Type) (= 66be30507c6e7b40e157cdb03232e58e)
Package not available
dep: ocaml(Sexplib__Type_with_layout) (= beaf3278860bf9255e5c612ad0942d64)
Package not available
dep: ocaml(Shape) (= a264079b71e3ddabef72cf9a10a6d8fd)
Package not available
dep: ocaml(Stdlib) (= cfc6abca663b2d71db1750a2c051cf6e)
Package not available
dep: ocaml(Stdlib__Arg) (= 42e5c744281ca6c68a1c77928ebe6b38)
Package not available
dep: ocaml(Stdlib__Array) (= 9d976b3b47c2c5800331b7449565b98c)
Package not available
dep: ocaml(Stdlib__Bigarray) (= 7130a1b8b3b987c6ffc6c2c613151f82)
Package not available
dep: ocaml(Stdlib__Buffer) (= bf6c18db9a96f4c2d97dddb7f07cdee4)
Package not available
dep: ocaml(Stdlib__Bytes) (= ad0e607bc378f814f5d4913a8a7b8bc5)
Package not available
dep: ocaml(Stdlib__BytesLabels) (= bfc246a80fa8d46b16bb17ec7eabb025)
Package not available
dep: ocaml(Stdlib__Char) (= 9d1b9b22570f14b7df32bb39bc59d2f2)
Package not available
dep: ocaml(Stdlib__Complex) (= eea5b6e1b092aae36e0428633d5272d9)
Package not available
dep: ocaml(Stdlib__Digest) (= 79b5d577ed7cbf094b2a76c06479bd89)
Package not available
dep: ocaml(Stdlib__Domain) (= 24d9be01b1377d92ed29d08905486a54)
Package not available
dep: ocaml(Stdlib__Either) (= c90604673db95a8e7dbd131a219e37c5)
Package not available
dep: ocaml(Stdlib__Filename) (= f74cc059dcb93d696ed0ec81c946c31f)
Package not available
dep: ocaml(Stdlib__Float) (= 1d26a5ea28f4a6a8f1a735b0ddf7d7dd)
Package not available
dep: ocaml(Stdlib__Format) (= 60af4e0c98f0be0b9d368a2a09700b3a)
Package not available
dep: ocaml(Stdlib__Fun) (= cf215dbe3f6e56ca14fc22123b7eb171)
Package not available
dep: ocaml(Stdlib__Gc) (= fbebf2afd3d1f8efe1dbf7a69fdc88ab)
Package not available
dep: ocaml(Stdlib__Hashtbl) (= 62d90b388a282ba341dbe91a50a61569)
Package not available
dep: ocaml(Stdlib__In_channel) (= 55c3dd88f952090ee81cf3cc5f651386)
Package not available
dep: ocaml(Stdlib__Int) (= a70645b1e2972d9ddeb17d46329636cd)
Package not available
dep: ocaml(Stdlib__Int32) (= c023c5ff3d236c9ddea65bf3e12846b5)
Package not available
dep: ocaml(Stdlib__Int64) (= 7f664408b0d5725b26a41d8fe82de705)
Package not available
dep: ocaml(Stdlib__Lazy) (= 1d6be45458ac0f04df24caf4c6b0825f)
Package not available
dep: ocaml(Stdlib__Lexing) (= 3e6ab8b82b1880d4ad2ced0d57aca6f7)
Package not available
dep: ocaml(Stdlib__List) (= a30617a473d55bfeb31bc8cb1d8035c0)
Package not available
dep: ocaml(Stdlib__ListLabels) (= 9d8c7a36d981cc0636f00d3d90085f3e)
Package not available
dep: ocaml(Stdlib__Map) (= c89b7925344cf894dcfa15de9855271e)
Package not available
dep: ocaml(Stdlib__Marshal) (= 3e4c0a9c59b0e4d62cbe6fac67d913a4)
Package not available
dep: ocaml(Stdlib__Nativeint) (= 7b40cfad9e114c0baec17b5f3a644be3)
Package not available
dep: ocaml(Stdlib__Obj) (= 95b257801d6620efb9f733a08b806029)
Package not available
dep: ocaml(Stdlib__Option) (= 1f125c281d6cce512ab4ed7b9a269937)
Package not available
dep: ocaml(Stdlib__Out_channel) (= 6f979ead4ebeb603fa8a0314cc9ea2ae)
Package not available
dep: ocaml(Stdlib__Parsing) (= bd54edc573639370f05685f6024fec11)
Package not available
dep: ocaml(Stdlib__Printexc) (= a8ffdc3139410f2a727c983fc6b29d5e)
Package not available
dep: ocaml(Stdlib__Printf) (= 53d0458f8bd9e6a47c1910b76e8b6f06)
Package not available
dep: ocaml(Stdlib__Queue) (= b8e767cc53f52dafa1719c723bf4b181)
Package not available
dep: ocaml(Stdlib__Random) (= 2aa639764f27c99788afa2b2dbf2e75f)
Package not available
dep: ocaml(Stdlib__Result) (= 6920dcf20eda193a914bab41ae83ca87)
Package not available
dep: ocaml(Stdlib__Scanf) (= f1fb8faa0240204ffa3944fe78ada705)
Package not available
dep: ocaml(Stdlib__Seq) (= a98573564faae435d9a1e05d5d2938ff)
Package not available
dep: ocaml(Stdlib__Set) (= 35df46d1279edd62fbcfbe1072794627)
Package not available
dep: ocaml(Stdlib__Stack) (= df4c36d6bbb131372027ae59ce7346dc)
Package not available
dep: ocaml(Stdlib__StdLabels) (= 9489f47570748c065cda68828e47e65f)
Package not available
dep: ocaml(Stdlib__String) (= 11ee86c6d03e0b37a2ef80541f3e00be)
Package not available
dep: ocaml(Stdlib__StringLabels) (= d951881c5470b7996c3d2bd916aa2b93)
Package not available
dep: ocaml(Stdlib__Sys) (= aa921c44c52af557dede0ef5720a3515)
Package not available
dep: ocaml(Stdlib__Uchar) (= cc650ed80ecb08760ed6479a6adeec7b)
Package not available
dep: ocaml(Stdlib__Weak) (= 1a371fbec831b5df00a44cc1e163c620)
Package not available
dep: ocaml(Stdppx) (= 63d83e7b14be8aaca8732e54fc457eaa)
Package not available
dep: ocaml(Str) (= 1d8174cd9641eb96917de61a36ae468b)
Package not available
dep: ocaml(Subst) (= fb87814233a33d4fe046e4335346bdf1)
Package not available
dep: ocaml(Type_immediacy) (= dc7b80ccb5d6ca17a41521a9ab8bcaf2)
Package not available
dep: ocaml(Types) (= 9f587070481ecabde6452704dd03e48d)
Package not available
dep: ocaml(UnionFind) (= f65149090b0a59d3a4fa097aa5b58f47)
Package not available
dep: ocaml(UnionFind__) (= 20089d23b04b060ac698bacaacd8f775)
Package not available
dep: ocaml(UnionFind__Store) (= 8f8e40e3c9c142a10162d4509717b9fe)
Package not available
dep: ocaml(UnionFind__StoreMap) (= 1984e774aea10aa91b779fea53bcd84a)
Package not available
dep: ocaml(UnionFind__UnionFindBasic) (= fe5730a9404d19bc1cd4d21167268678)
Package not available
dep: ocaml(UnionFind__UnionFindOverStore) (= 176db8b518b05ce4f9671fbf5ceacb4d)
Package not available
dep: ocaml(UnionFind__Univ) (= 4577f63304a66150ec1cd83ad6a9b462)
Package not available
dep: ocaml(Unit_info) (= c493604495f300140722d6c18c0abca6)
Package not available
dep: ocaml(Unix) (= e9521192ee8ef808261c548f0ea7683f)
Package not available
dep: ocaml(Warnings) (= 5b27d0ddf84c26b2b72d50c6ff180c8e)
Package not available
dep: ocaml(Why3) (= e6e17d4aac3de63e0158a80655b22432)
Package not available
dep: ocaml(Yaml) (= 64df7bfe98eb4e6054ed07bea5e274b0)
Package not available
dep: ocaml(Yaml__) (= cec384f108b1b036c82a510d72faa3fd)
Package not available
dep: ocaml(Yaml_unix) (= a2661cc80baf9f87d362a53f21ec9d67)
Package not available
dep: ocaml(Yojson) (= fda0f1a222a52ede30bf3a1a13729578)
Package not available
dep: ocaml(Yojson__) (= bbb4ce779b5c626094613df40e771f64)
Package not available
dep: ocaml(Yojson__Basic) (= 7fa2d6750ec133505a175e720747f08f)
Package not available
dep: ocaml(Yojson__Common) (= 428d804bcd436aff9f2269371fc62472)
Package not available
dep: ocaml(Yojson__Safe) (= 708d0e848109f6916ea29fc7efaf9f25)
Package not available
dep: ocaml(Yojson__T) (= 21c829e76447fd1cf0c900111928fd46)
Package not available
dep: ocaml(Z) (= 55f40794517dfa18b2d04a9737864b3d)
Package not available
dep: ocaml(Zmq) (= 74c2e919d934a316077ebe4b4056c8c7)
Package not available
dep: ocamlx(Apron) (= e617e65cbc9079962a8d94759e42b90d)
Package not available
dep: ocamlx(Big_int_Z) (= 3e20c57b8b5369d464abbd631c21152a)
Package not available
dep: ocamlx(Box) (= 681b0921f5515fe0b064f06976f546ec)
Package not available
dep: ocamlx(CamlinternalFormat) (= 8dd3be4582e976f0a6f69a910d4a5efe)
Package not available
dep: ocamlx(CamlinternalFormatBasics) (= 9a4b29f13d1e7f737f80587da2a10cdf)
Package not available
dep: ocamlx(CamlinternalLazy) (= 0e6771bef2d6105214922b2a203a753d)
Package not available
dep: ocamlx(CamlinternalMod) (= 112fb4863484ad75e3623a35e3f88e27)
Package not available
dep: ocamlx(CamlinternalOO) (= 3531e65d99268c316e24f5559d523cc5)
Package not available
dep: ocamlx(Dune_site__Helpers) (= 71bfcb6ef86d4aa977b2d0c5aa811aa6)
Package not available
dep: ocamlx(Dune_site_plugins) (= bfeb7e14355a00f70457ed2ecd892336)
Package not available
dep: ocamlx(Dune_site_plugins__Plugins) (= 31c5c9032c5f413d987fec8321d92927)
Package not available
dep: ocamlx(Dynlink) (= 8a6b9f8a80f44692bbf76198b96c688d)
Package not available
dep: ocamlx(Dynlink_types) (= 01f53a6b28f941c4b8a9c1e2b501cd70)
Package not available
dep: ocamlx(Fpath) (= 7512098f2152ab00eccac0d5fb0af59c)
Package not available
dep: ocamlx(Graph__Blocks) (= 3b6172315a14257099ecf8326caae9c4)
Package not available
dep: ocamlx(Graph__Builder) (= 5d3566f444ce9295d702acfe7fe8a892)
Package not available
dep: ocamlx(Graph__Components) (= 0331ac174bf980387d29aa349c47717d)
Package not available
dep: ocamlx(Graph__Fixpoint) (= efd3dc90abfe4c91d48c5aa8939d561b)
Package not available
dep: ocamlx(Graph__Graphviz) (= 6dbf77ab6e5eddaa1e12604bcf0f33d9)
Package not available
dep: ocamlx(Graph__Imperative) (= d65bec9e915a7d9455849981602bbabf)
Package not available
dep: ocamlx(Graph__Oper) (= 5ac9f2ed077325616ddd6d49399967f9)
Package not available
dep: ocamlx(Graph__Path) (= 32a42072f255580878ab92dfc1a81b21)
Package not available
dep: ocamlx(Graph__Persistent) (= 6f589c0974688aedb9abd60fec6f5eca)
Package not available
dep: ocamlx(Graph__Topological) (= 438fe46582254b2455ace970b7929e46)
Package not available
dep: ocamlx(Graph__Traverse) (= b7e0c3f7499ccfa3ffb3865daf1dcd57)
Package not available
dep: ocamlx(Graph__Util) (= 4c898aecadffa178afc111f7602060b5)
Package not available
dep: ocamlx(Gzip) (= 1dcf3e8a1b3d078d354b7a83801eb5ea)
Package not available
dep: ocamlx(MenhirLib) (= 26b876b2a3651b3079ac6b35070fb982)
Package not available
dep: ocamlx(Mpq) (= 2971ea5b8f1bd6f565856f5683caf980)
Package not available
dep: ocamlx(Mpqf) (= e0c7a5be2c07682fe8af2290d6fd7c4d)
Package not available
dep: ocamlx(Mpz) (= fc37cb034a1d56cfd6e90bf5e799f722)
Package not available
dep: ocamlx(Mpzf) (= 105bec893497f7719e656ed6d0086cb0)
Package not available
dep: ocamlx(Oct) (= fc5e666d532973a8d5531e8574ccacb9)
Package not available
dep: ocamlx(Polka) (= bac65c8f6f2fe150129d11d76a71e4c8)
Package not available
dep: ocamlx(Ppx_deriving_yojson_runtime) (= 9c54925a9734f1dcef3475bbeff364a5)
Package not available
dep: ocamlx(Ppxlib__Ast_builder) (= f062f534e93f144c1adb1de74c82bd75)
Package not available
dep: ocamlx(Ppxlib__Ast_builder_generated) (= c6c281293a5cfa9f85cb4f5e86d4db91)
Package not available
dep: ocamlx(Ppxlib__Context_free) (= 6a52456c01d205249b02eff4693bfdfa)
Package not available
dep: ocamlx(Ppxlib__Driver) (= 93f47e44c0aea41165cb41bab476f825)
Package not available
dep: ocamlx(Q) (= 42672a16ff4413f557f78dcc1495afd4)
Package not available
dep: ocamlx(Re__Str) (= 5ae68746496749e9a9c7eec21ad71c37)
Package not available
dep: ocamlx(Stdlib) (= 29ccdc189a615dabadac01b99d97fd28)
Package not available
dep: ocamlx(Stdlib__Arg) (= 828fcd06f53ec832bcf77a32cba3374d)
Package not available
dep: ocamlx(Stdlib__Array) (= 9dd825bf507d14e6dcb3e071ea71bffb)
Package not available
dep: ocamlx(Stdlib__Buffer) (= dd72a76d3318107b6503acda17e85537)
Package not available
dep: ocamlx(Stdlib__Bytes) (= 18ef580ddbffe6a1280e9aed4494c4d3)
Package not available
dep: ocamlx(Stdlib__Char) (= 7e312ea379ff37deb623b0b714d14d02)
Package not available
dep: ocamlx(Stdlib__Digest) (= cfa8d86a71aec2837714d1265149f7c2)
Package not available
dep: ocamlx(Stdlib__Domain) (= 497fd555d896adaf3be163fec31546c9)
Package not available
dep: ocamlx(Stdlib__Ephemeron) (= 1b8cb7175d1e10d5c78b536da93155f5)
Package not available
dep: ocamlx(Stdlib__Filename) (= c8e16eadca1a7a16134b508889cd21f5)
Package not available
dep: ocamlx(Stdlib__Float) (= 57c2b0f17ecee9f8de41a4e654c01a03)
Package not available
dep: ocamlx(Stdlib__Format) (= f822c9fc11de6b986a5e9169fdea8af4)
Package not available
dep: ocamlx(Stdlib__Fun) (= e6cf01649ce0340388ef4e3df98d3316)
Package not available
dep: ocamlx(Stdlib__Gc) (= 3929f6c060f5e787b0a7f63d7801d054)
Package not available
dep: ocamlx(Stdlib__Hashtbl) (= d10c8d4c0b641ab242198048075a2b60)
Package not available
dep: ocamlx(Stdlib__In_channel) (= ca568d78355d2aa1b1e84b1759bd9f20)
Package not available
dep: ocamlx(Stdlib__Int) (= f4bf2efa3356cda559e2683932fe4590)
Package not available
dep: ocamlx(Stdlib__Int32) (= dcc0a728aed8cb0339af70dbeb94bb5a)
Package not available
dep: ocamlx(Stdlib__Int64) (= 0fde396f1e774db5fcb1c69336ff1eec)
Package not available
dep: ocamlx(Stdlib__Lazy) (= f7521f54d72eb8cc6098c285411ea2ae)
Package not available
dep: ocamlx(Stdlib__Lexing) (= 97927c9b4a6378af7864dcd2e6215a41)
Package not available
dep: ocamlx(Stdlib__List) (= 3f29768f7527d3ab37c91af9aa0997df)
Package not available
dep: ocamlx(Stdlib__Map) (= 1d0cc843181f510c94c1b7ac7977ba84)
Package not available
dep: ocamlx(Stdlib__Marshal) (= 8d1bff51b42959cef683bd89539808b5)
Package not available
dep: ocamlx(Stdlib__Nativeint) (= 7918f71089df8ae70999c5ca4b2b6aea)
Package not available
dep: ocamlx(Stdlib__Obj) (= f5fa384356356398404dc14d79890346)
Package not available
dep: ocamlx(Stdlib__Option) (= ad0014ab4f4fbb4b0455470da578213e)
Package not available
dep: ocamlx(Stdlib__Out_channel) (= 57a9bfd223e826e0b500b3c24bc88b69)
Package not available
dep: ocamlx(Stdlib__Parsing) (= 536c9f422f7c5c3a8524fd41271eb838)
Package not available
dep: ocamlx(Stdlib__Printexc) (= e39c8fabf36ce34d6a9bee8d04173ed5)
Package not available
dep: ocamlx(Stdlib__Printf) (= 02eeb55af45bc28bbfbc703d255ac2b0)
Package not available
dep: ocamlx(Stdlib__Queue) (= 11a7954fa99189d2459f223f4125e18c)
Package not available
dep: ocamlx(Stdlib__Random) (= be0ccad184326d574715215885193685)
Package not available
dep: ocamlx(Stdlib__Result) (= d0c2f0b9835669efdd3b5825c2e1931b)
Package not available
dep: ocamlx(Stdlib__Scanf) (= daf5d42ccfbc2c6fbd3c0c25bdb35363)
Package not available
dep: ocamlx(Stdlib__Seq) (= a03bd18f2a4ebbec084546a362646770)
Package not available
dep: ocamlx(Stdlib__Set) (= 77ae290463cfe2698ffda9c3825c26af)
Package not available
dep: ocamlx(Stdlib__Stack) (= 4610e2b6df278052a237b1c2bc885a76)
Package not available
dep: ocamlx(Stdlib__String) (= 9e26947ec23b93ed6e936b8a407df85b)
Package not available
dep: ocamlx(Stdlib__Sys) (= c4d65bea52f4370d2e6a3825f559a12e)
Package not available
dep: ocamlx(Stdlib__Uchar) (= 8247ad00d68e2206b50d9b398b47b68a)
Package not available
dep: ocamlx(Stdlib__Weak) (= 265d98a04451b7ecb8f8a84027ef3a15)
Package not available
dep: ocamlx(Stdppx) (= ddb2c17ac63d70479020f178ab57b3ad)
Package not available
dep: ocamlx(Str) (= 69b8694b1405b426d474615d56cdbfef)
Package not available
dep: ocamlx(UnionFind) (= dbd4b2838408e0146b19f0345d1e1fd1)
Package not available
dep: ocamlx(UnionFind__StoreMap) (= f60d468313b24014d73cabc4657c5ae8)
Package not available
dep: ocamlx(UnionFind__UnionFindOverStore) (= ef6e70dd3ca2c58be0d518b65e6535e5)
Package not available
dep: ocamlx(Unix) (= 487fd5f4c7de44679a36edc004940fcb)
Package not available
dep: ocamlx(Why3) (= eed4966ad714aa03998a9e243efda8c5)
Package not available
dep: ocamlx(Yaml) (= 310e9b609404935efd1076235b1590f1)
Package not available
dep: ocamlx(Yaml__Util) (= ae93d2f73f5755933d01dab985be31d5)
Package not available
dep: ocamlx(Yaml_unix) (= 7189c7dd8eece9251b7984ba05d958ba)
Package not available
dep: ocamlx(Yojson) (= a701baceb604756e0036bc4c6dfec433)
Package not available
dep: ocamlx(Yojson__Basic) (= 9b80f493e5337a71fa48e4f9d7cca19d)
Package not available
dep: ocamlx(Yojson__Common) (= 110babbeaa3de8ad8aa12debc6788351)
Package not available
dep: ocamlx(Yojson__Safe) (= 4b2a0daa34ef5051615367b83e23b711)
Package not available
dep: ocamlx(Yojson__T) (= 3e395ffde36728fcefde088837224586)
Package not available
dep: ocamlx(Z) (= 2a0fa63d580ee64db2d170f2c459a3ea)
Package not available
dep: ocamlx(Zarith_version) (= 8ea948dbe5ef8b5b61b4053abc658c47)
Package not available
dep: ocamlx(Zmq) (= 5a2fd3036573f5f74b9d8395fbb1ec13)
Package not available
dep: rtld(GNU_HASH)
Package not available
dep: [why3]
Software verification platform
dep: libc.so.6(GLIBC_2.42)(64bit)
Package not available

rec: [bash-completion]
Programmable completion for Bash

sug: [z3]
Satisfiability Modulo Theories (SMT) solver

Download frama-c

Architecture	Package size	Installed size	Files	Package
aarch64	232 MiB	589 MiB	list of files	Download
x86_64	230 MiB	584 MiB	list of files	Download

Шляхи файлів пакета (6,823)

Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.

/usr/bin/e-acsl-gcc
/usr/bin/e-acsl-gcc.sh
/usr/bin/frama-c
/usr/bin/frama-c-config
/usr/bin/frama-c-gui
/usr/bin/frama-c-ptests
/usr/bin/frama-c-script
/usr/bin/frama-c-test.sh
/usr/bin/frama-c-wtests
/usr/lib64/ocaml/crowbar_utils
/usr/lib64/ocaml/crowbar_utils/crowbar_utils.a
/usr/lib64/ocaml/crowbar_utils/crowbar_utils.cma
/usr/lib64/ocaml/crowbar_utils/crowbar_utils.cmi
/usr/lib64/ocaml/crowbar_utils/crowbar_utils.cmt
/usr/lib64/ocaml/crowbar_utils/crowbar_utils.cmti
/usr/lib64/ocaml/crowbar_utils/crowbar_utils.cmx
/usr/lib64/ocaml/crowbar_utils/crowbar_utils.cmxa
/usr/lib64/ocaml/crowbar_utils/crowbar_utils.cmxs
/usr/lib64/ocaml/crowbar_utils/crowbar_utils.mli
/usr/lib64/ocaml/crowbar_utils/dune-package
/usr/lib64/ocaml/crowbar_utils/META
/usr/lib64/ocaml/frama-c
/usr/lib64/ocaml/frama-c-acsl-importer
/usr/lib64/ocaml/frama-c-acsl-importer/core
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer.a
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer.cma
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer.cmi
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__.cmi
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer.cmt
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__.cmt
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer.cmx
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__.cmx
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer.cmxa
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer.cmxs
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Import.cmi
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Import.cmt
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Import.cmti
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Import.cmx
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__.ml
/usr/lib64/ocaml/frama-c-acsl-importer/core/Acsl_importer.ml
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Options.cmi
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Options.cmt
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Options.cmti
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Options.cmx
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Paste.cmi
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Paste.cmt
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Paste.cmti
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Paste.cmx
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Register.cmi
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Register.cmt
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Register.cmti
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Register.cmx
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Transform.cmi
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Transform.cmt
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Transform.cmti
/usr/lib64/ocaml/frama-c-acsl-importer/core/acsl_importer__Transform.cmx
/usr/lib64/ocaml/frama-c-acsl-importer/core/import.mli
/usr/lib64/ocaml/frama-c-acsl-importer/core/options.mli
/usr/lib64/ocaml/frama-c-acsl-importer/core/paste.mli
/usr/lib64/ocaml/frama-c-acsl-importer/core/register.mli
/usr/lib64/ocaml/frama-c-acsl-importer/core/transform.mli
/usr/lib64/ocaml/frama-c-acsl-importer/dune-package
/usr/lib64/ocaml/frama-c-acsl-importer/META
/usr/lib64/ocaml/frama-c-alias
/usr/lib64/ocaml/frama-c-alias/core
/usr/lib64/ocaml/frama-c-alias/core/abstract_state.mli
/usr/lib64/ocaml/frama-c-alias/core/Alias.a
/usr/lib64/ocaml/frama-c-alias/core/alias__Abstract_state.cmi
/usr/lib64/ocaml/frama-c-alias/core/alias__Abstract_state.cmt
/usr/lib64/ocaml/frama-c-alias/core/alias__Abstract_state.cmti
/usr/lib64/ocaml/frama-c-alias/core/alias__Abstract_state.cmx
/usr/lib64/ocaml/frama-c-alias/core/alias__Analysis.cmi
/usr/lib64/ocaml/frama-c-alias/core/alias__Analysis.cmt
/usr/lib64/ocaml/frama-c-alias/core/alias__Analysis.cmti
/usr/lib64/ocaml/frama-c-alias/core/alias__Analysis.cmx
/usr/lib64/ocaml/frama-c-alias/core/alias__API.cmi
/usr/lib64/ocaml/frama-c-alias/core/alias__API.cmt
/usr/lib64/ocaml/frama-c-alias/core/alias__API.cmti
/usr/lib64/ocaml/frama-c-alias/core/alias__API.cmx
/usr/lib64/ocaml/frama-c-alias/core/Alias.cma
/usr/lib64/ocaml/frama-c-alias/core/alias.cmi
/usr/lib64/ocaml/frama-c-alias/core/alias__.cmi
/usr/lib64/ocaml/frama-c-alias/core/alias.cmt
/usr/lib64/ocaml/frama-c-alias/core/alias__.cmt
/usr/lib64/ocaml/frama-c-alias/core/alias.cmti
/usr/lib64/ocaml/frama-c-alias/core/alias.cmx
/usr/lib64/ocaml/frama-c-alias/core/alias__.cmx
/usr/lib64/ocaml/frama-c-alias/core/Alias.cmxa
/usr/lib64/ocaml/frama-c-alias/core/Alias.cmxs
/usr/lib64/ocaml/frama-c-alias/core/alias__.ml
/usr/lib64/ocaml/frama-c-alias/core/Alias.mli
/usr/lib64/ocaml/frama-c-alias/core/alias__Options.cmi
/usr/lib64/ocaml/frama-c-alias/core/alias__Options.cmt
/usr/lib64/ocaml/frama-c-alias/core/alias__Options.cmti
/usr/lib64/ocaml/frama-c-alias/core/alias__Options.cmx
/usr/lib64/ocaml/frama-c-alias/core/alias__Simplified.cmi
/usr/lib64/ocaml/frama-c-alias/core/alias__Simplified.cmt
/usr/lib64/ocaml/frama-c-alias/core/alias__Simplified.cmti
/usr/lib64/ocaml/frama-c-alias/core/alias__Simplified.cmx
/usr/lib64/ocaml/frama-c-alias/core/analysis.mli
/usr/lib64/ocaml/frama-c-alias/core/API.mli
/usr/lib64/ocaml/frama-c-alias/core/options.mli
/usr/lib64/ocaml/frama-c-alias/core/simplified.mli
/usr/lib64/ocaml/frama-c-alias/dune-package
/usr/lib64/ocaml/frama-c-alias/META
/usr/lib64/ocaml/frama-c/analysis-scripts
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts.a
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts.cma
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts.cmi
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts.cmt
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts.cmx
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts.cmxa
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts.cmxs
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts__List_functions.cmi
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts__List_functions.cmt
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts__List_functions.cmx
/usr/lib64/ocaml/frama-c/analysis-scripts/analysis_scripts.ml
/usr/lib64/ocaml/frama-c/analysis-scripts/list_functions.ml
/usr/lib64/ocaml/frama-c-aorai
/usr/lib64/ocaml/frama-c-aorai/core
/usr/lib64/ocaml/frama-c-aorai/core/aorai.a
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_dataflow.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_dataflow.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_dataflow.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_dataflow.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_eva_analysis.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_eva_analysis.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_eva_analysis.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_eva_analysis.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_graph.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_graph.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_graph.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_graph.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_metavariables.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_metavariables.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_metavariables.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_metavariables.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_option.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_option.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_option.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_option.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_register.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_register.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_register.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_register.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_utils.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_utils.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_utils.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_utils.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_visitors.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_visitors.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_visitors.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Aorai_visitors.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Automaton_ast.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Automaton_ast.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Automaton_ast.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Bool3.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Bool3.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Bool3.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Bool3.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai.cma
/usr/lib64/ocaml/frama-c-aorai/core/aorai.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai.cmxa
/usr/lib64/ocaml/frama-c-aorai/core/aorai.cmxs
/usr/lib64/ocaml/frama-c-aorai/core/aorai_dataflow.mli
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Data_for_aorai.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Data_for_aorai.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Data_for_aorai.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Data_for_aorai.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai_eva_analysis.mli
/usr/lib64/ocaml/frama-c-aorai/core/aorai_graph.mli
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Logic_simplification.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Logic_simplification.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Logic_simplification.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Logic_simplification.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai_metavariables.mli
/usr/lib64/ocaml/frama-c-aorai/core/aorai__.ml
/usr/lib64/ocaml/frama-c-aorai/core/Aorai.ml
/usr/lib64/ocaml/frama-c-aorai/core/aorai_option.mli
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Path_analysis.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Path_analysis.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Path_analysis.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Path_analysis.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Pretty_automaton.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Pretty_automaton.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Pretty_automaton.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Pretty_automaton.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai_register.mli
/usr/lib64/ocaml/frama-c-aorai/core/aorai_utils.mli
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Utils_parser.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Utils_parser.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Utils_parser.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Utils_parser.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai_visitors.mli
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Yalexer.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Yalexer.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Yalexer.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Yalexer.cmx
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Yaparser.cmi
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Yaparser.cmt
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Yaparser.cmti
/usr/lib64/ocaml/frama-c-aorai/core/aorai__Yaparser.cmx
/usr/lib64/ocaml/frama-c-aorai/core/automaton_ast.ml
/usr/lib64/ocaml/frama-c-aorai/core/bool3.mli
/usr/lib64/ocaml/frama-c-aorai/core/data_for_aorai.mli
/usr/lib64/ocaml/frama-c-aorai/core/logic_simplification.mli
/usr/lib64/ocaml/frama-c-aorai/core/path_analysis.mli
/usr/lib64/ocaml/frama-c-aorai/core/pretty_automaton.mli
/usr/lib64/ocaml/frama-c-aorai/core/utils_parser.mli
/usr/lib64/ocaml/frama-c-aorai/core/yalexer.mli
/usr/lib64/ocaml/frama-c-aorai/core/yaparser.mli
/usr/lib64/ocaml/frama-c-aorai/dune-package
/usr/lib64/ocaml/frama-c-aorai/META
/usr/lib64/ocaml/frama-c-api-generator
/usr/lib64/ocaml/frama-c-api_generator
/usr/lib64/ocaml/frama-c-api-generator/core
/usr/lib64/ocaml/frama-c-api_generator/core
/usr/lib64/ocaml/frama-c-api-generator/core/api_generator.a
/usr/lib64/ocaml/frama-c-api_generator/core/api_generator.a
/usr/lib64/ocaml/frama-c-api-generator/core/api_generator.cma
/usr/lib64/ocaml/frama-c-api_generator/core/api_generator.cma
/usr/lib64/ocaml/frama-c-api-generator/core/api_generator.cmi
/usr/lib64/ocaml/frama-c-api_generator/core/api_generator.cmi
/usr/lib64/ocaml/frama-c-api-generator/core/api_generator.cmt
/usr/lib64/ocaml/frama-c-api_generator/core/api_generator.cmt
/usr/lib64/ocaml/frama-c-api-generator/core/api_generator.cmx
/usr/lib64/ocaml/frama-c-api_generator/core/api_generator.cmx
/usr/lib64/ocaml/frama-c-api-generator/core/api_generator.cmxa
/usr/lib64/ocaml/frama-c-api_generator/core/api_generator.cmxa
/usr/lib64/ocaml/frama-c-api-generator/core/api_generator.cmxs
/usr/lib64/ocaml/frama-c-api_generator/core/api_generator.cmxs
/usr/lib64/ocaml/frama-c-api-generator/core/api_generator.ml
/usr/lib64/ocaml/frama-c-api_generator/core/api_generator.ml
/usr/lib64/ocaml/frama-c-api-generator/dune-package
/usr/lib64/ocaml/frama-c-api_generator/dune-package
/usr/lib64/ocaml/frama-c-api-generator/META
/usr/lib64/ocaml/frama-c-api_generator/META
/usr/lib64/ocaml/frama-c/boot
/usr/lib64/ocaml/frama-c/boot/boot.mli
/usr/lib64/ocaml/frama-c/boot/frama_c_boot.a
/usr/lib64/ocaml/frama-c/boot/frama_c_boot__Boot.cmi
/usr/lib64/ocaml/frama-c/boot/frama_c_boot__Boot.cmt
/usr/lib64/ocaml/frama-c/boot/frama_c_boot__Boot.cmti
/usr/lib64/ocaml/frama-c/boot/frama_c_boot__Boot.cmx
/usr/lib64/ocaml/frama-c/boot/frama_c_boot.cma

Field source: Fedora 43 updates aarch64

Використати цей пакет

OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.

Спробувати Fedora 43 у браузері Зібрати образ, що містить frama-c

Версії, набори та репозиторії

Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
33.0-1.fc43	43 / updates	aarch64	Fedora 43 · updates · aarch64	232 MiB	589 MiB	Packages/f/frama-c-33.0-1.fc43.aarch64.rpm
33.0-1.fc43	43 / updates	x86_64	Fedora 43 · updates · x86_64	230 MiB	584 MiB	Packages/f/frama-c-33.0-1.fc43.x86_64.rpm
31.0-6.fc43	43 / everything	aarch64	Fedora 43 · Everything · aarch64	227 MiB	580 MiB	Packages/f/frama-c-31.0-6.fc43.aarch64.rpm
31.0-6.fc43	43 / everything	x86_64	Fedora 43 · Everything · x86_64	225 MiB	575 MiB	Packages/f/frama-c-31.0-6.fc43.x86_64.rpm

Field source: Fedora 43 updates aarch64

Відомі вразливості

У відстежуваних джерелах немає відповідних повідомлень.

Остання синхронізація: Oct 29, 2026, 10:01:33 PM UTC

[Каталог CVE]

Контрольні суми

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

33.0-1.fc43 / aarch64Спостережено Sep 1, 2026sha256 7cb6667916d9…3b6db7f6Контрольна сума джерела

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Контрольна сума джерела (sha256): 7cb6667916d95ee7d4d7472575f0cc32013f90d124c2393702f41dec3b6db7f6

Перевірити завантаження

printf '%s  %s\n' '7cb6667916d95ee7d4d7472575f0cc32013f90d124c2393702f41dec3b6db7f6' 'frama-c-33.0-1.fc43.aarch64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 updates aarch64

33.0-1.fc43 / x86_64Спостережено Sep 1, 2026sha256 2f57fd2417f4…799f5a6fКонтрольна сума джерела

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Контрольна сума джерела (sha256): 2f57fd2417f419918462768773c8b77000a178a3ad0a12856b33bc4d799f5a6f

Перевірити завантаження

printf '%s  %s\n' '2f57fd2417f419918462768773c8b77000a178a3ad0a12856b33bc4d799f5a6f' 'frama-c-33.0-1.fc43.x86_64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 updates x86_64

31.0-6.fc43 / aarch64Спостережено Sep 1, 2026sha256 cf8982937ca1…6f1e8341Контрольна сума джерела

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Контрольна сума джерела (sha256): cf8982937ca121da7e68770c694ead4b1a5568f2f4ac41851b9935c36f1e8341

Перевірити завантаження

printf '%s  %s\n' 'cf8982937ca121da7e68770c694ead4b1a5568f2f4ac41851b9935c36f1e8341' 'frama-c-31.0-6.fc43.aarch64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything aarch64

31.0-6.fc43 / x86_64Спостережено Sep 1, 2026sha256 4ade757dd985…501d0309Контрольна сума джерела

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Контрольна сума джерела (sha256): 4ade757dd985d7e337776b1a6ff2f3e07e3915722b06cb7a817816c3501d0309

Перевірити завантаження

printf '%s  %s\n' '4ade757dd985d7e337776b1a6ff2f3e07e3915722b06cb7a817816c3501d0309' 'frama-c-31.0-6.fc43.x86_64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything x86_64

Джерела

Fedora 43 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified
Доказ підпису
43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=aarch64
Signed-object SHA-256
6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable
Fedora 43 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified
Доказ підпису
43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=fedora-43&arch=x86_64
Signed-object SHA-256
42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable
Fedora 43 updates aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified
Доказ підпису
43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=updates-released-f43&arch=aarch64
Signed-object SHA-256
0af1807dead0a1d28599a942743e244fe57da21cf6a935b3e4155f4a3f1070a1
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable
Fedora 43 updates x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified
Доказ підпису
43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a
Repository-signature verification record
Signed object
https://mirrors.fedoraproject.org/metalink?repo=updates-released-f43&arch=x86_64
Signed-object SHA-256
3ae5fecc3db8c7b4ce0cf54a8ea572ed4694e7e132e201c2f6ab6570259d1061
Keyring revision
RPM-GPG-KEY-fedora-43-primary
SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
Tool and policy
1
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable