Thu, 17 Oct 2019 08:20:44 UTC

Information for RPM frama-c-15.0-8.fc28.aarch64.rpm

ID12760067
Nameframa-c
Version15.0
Release8.fc28
Epoch
Archaarch64
SummaryFramework for source code analysis of C software
DescriptionFrama-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.
Build Time2018-02-07 10:35:27 GMT
Size32739068
0d367bc3468fc5d84563ab19d8ccb130
LicenseLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
Buildrootf28-build-11355138-852010
Provides
application()
application(frama-c-gui.desktop)
frama-c = 15.0-8.fc28
frama-c(aarch-64) = 15.0-8.fc28
metainfo()
metainfo(frama-c-gui.appdata.xml)
ocaml(Abstract_interp) = d54956fd6839d457c6da1dada278bc7f
ocaml(Alarms) = cced40b43384c136fc3a596851cc0d5d
ocaml(Allocates) = b108772058c9140a5a3828a101542a45
ocaml(Alpha) = 5d2a234b24366b28ae8bc11395ee06de
ocaml(Analyses_manager) = 6a8639fd11c75f48ae68c6181cc5ce14
ocaml(Annotations) = 3d7f6fcaa3d9eeca1c40fb21d09907e6
ocaml(Aorai) = 23addb056f70d08bc968597536fab0cf
ocaml(Asm_contracts) = 17511a979e187a763a78685ab7f557a6
ocaml(Ast) = e9aae8a09c0ee2a273a404141b2a3b90
ocaml(Ast_info) = a8f293d6b182d561be6191be0899f8b5
ocaml(Bag) = bff29a84f7116960ecc6c721b551d00b
ocaml(Base) = 34725072734247cece87af17a835c91d
ocaml(Binary_cache) = 31a9c8b54006fc53131e5eaae8687dde
ocaml(Bit_utils) = e48d59c9edfb2921c867f58b7694c8cc
ocaml(Bitvector) = cd63e3c2905fbb50ed1d25ccdd8fa42c
ocaml(Book_manager) = 4ea18649095722d18c3d8a19ab4e61f3
ocaml(Boot) = 6feda7188581c12dca92435cb064cb6f
ocaml(Bottom) = 8676e0bc17d4256763715cb42e2960b2
ocaml(Cabs) = ae6540aaa32d6db6132568a34bc76114
ocaml(Cabs2cil) = 9f56809fd7a28af987ef137ba941bf30
ocaml(Cabs_debug) = f9428cf84e0c604e94714d7165b8a4a9
ocaml(Cabshelper) = 973cf39f343ddd140fd88bb92337c7cc
ocaml(Cabsvisit) = af7819b38821efbd4e4f5bf9844d73f9
ocaml(Callgraph) = e71a4b8c2f87d57256dbbe7179d25a8b
ocaml(Cfg) = cba3fa925fa4f9665e2ccd9ff120fe78
ocaml(Cil) = 1364e08c41c27b4ecc46a710a80d886f
ocaml(CilE) = 5ac1911a6d8847d02eb0167d90e19d8b
ocaml(Cil_const) = e89c846686cd0ada7c93c37e56e3e693
ocaml(Cil_datatype) = 3fbcd1ef3e43fee7b30bfbb2bc921da2
ocaml(Cil_descriptive_printer) = ddbdbca8dd9f7654608b29e48fb976ec
ocaml(Cil_printer) = 0f7b9ba1a7fcd42d2d5fa12b94a1208f
ocaml(Cil_state_builder) = d093ed696e33be437a5a00150466a5ca
ocaml(Cil_types) = e7a7d932bc505676df18abb83c31a709
ocaml(Cil_types_debug) = e4d2a010f88bece00c89b916f583cf70
ocaml(Cilconfig) = c4aa5a44e2f9d6387f249ba985855694
ocaml(Clexer) = 8c6921a830a388080fdef4cf7003f4b8
ocaml(Clone) = 42f3df8e4ec45dca9b88ede1dc204a75
ocaml(Cmdline) = f747f6ab09616067a49d3cff71f0d1ea
ocaml(Command) = 4f7def45b6c4600f99fa0533b9d8ce39
ocaml(Config) = 8e431df20b39e9304a09823df5f1710f
ocaml(Constant_Propagation) = 0b74346891c5f4c62522b3faad766e6a
ocaml(Cparser) = 4b448545c71e1b0eba17ae29eebc59e5
ocaml(Cprint) = 14c9f125238bdc6f4e445fd87777a527
ocaml(Cvalue) = c43a4ce6681a5c8636ae36c1f4f7c528
ocaml(Dataflow) = fe3caed0383ad468a2662ed6a02371b3
ocaml(Dataflow2) = da9d84d02d94f00dafbf59d8735aa1d3
ocaml(Dataflows) = b10ce49a8fedb730d21f72f74f29d1a3
ocaml(Datatype) = 6f829fffdceb76117d8863ab07380edf
ocaml(Db) = 8e39ddf1fbd60257b368509fc4fbf86d
ocaml(Debug_manager) = 79f5851eee509945c1e909d88b93c0f0
ocaml(Descr) = 0d0313918aa08e02cd1323853f029f97
ocaml(Description) = bd327ddcc3c7494d11c95699684d3851
ocaml(Design) = 3d4486a616c12e0b0fb59374c890471a
ocaml(Destructors) = ad4519c590615521ab4d17505b78a05c
ocaml(Dominators) = 59cb72e08dfde035a4d52a7212f28113
ocaml(Dynamic) = 63ed1b4153add9ea690725d24b347565
ocaml(E_ACSL) = 059de8df88ee0ba5c91de7e8a16398e5
ocaml(Emitter) = 1559ed6fd7d6dba9fa9208192c89dec4
ocaml(Errorloc) = 26b170181ada22f5e4372e6c0edf3ed1
ocaml(Escape) = 733c86f0c56b817fa9967576a83cd0e6
ocaml(Exn_flow) = 40e7c1b88c35a763554a020e9cb3670f
ocaml(Extlib) = c3255449d31beb3a8a9698c9ccc03254
ocaml(FCBuffer) = 552814bf9142e34cd9d4fe92d0db74de
ocaml(FCHashtbl) = b2919f4ff775021bed91f7ae685e95ef
ocaml(FCMap) = d22dd48a4932aecfdbf43ac2789224b9
ocaml(FCSet) = 694e657a6ad876c1a7d48b2bc483c25a
ocaml(File) = 6cd56fc1d81d662214fae633de539df2
ocaml(File_manager) = 06d41e1872eb7ab1107bd770002eb55a
ocaml(Filecheck) = 48503b87e3caaa331d0528206f4d57c2
ocaml(Filepath) = ff94ffaad21279a43ad47e7a64c34bb8
ocaml(Filetree) = c87cbe5444c5c3977be363aab6042bcf
ocaml(Filter) = 6b14bd8fc1b919499becd88579cadb07
ocaml(Floating_point) = 5f86754fe26bd5c3e36698049df9b908
ocaml(Frama_c_init) = ee74c155a717eafde57d104758e58673
ocaml(From) = 6f53dfff2441e2c3dfaf7d36e3568d37
ocaml(Frontc) = 1ea0a62a44c131d4c10d467c081ccece
ocaml(Function_Froms) = e1d421a11d679f804ec809086d573207
ocaml(Fval) = 428dee900efea14309e64965a58afc73
ocaml(Globals) = 5f0f63fd2b194d09aab91e4adcec6269
ocaml(Gtk_form) = 12cb329eb0b32a8a1dd3b3c15986a252
ocaml(Gtk_helper) = ac30bd1c1392a67168de759d871d7346
ocaml(Gui_parameters) = c640c08188f24e5c193f2bbb7edc21a0
ocaml(Gui_printers) = 24e53083c0f84d6cbac7ec5a3579df50
ocaml(Help_manager) = 5081a7c4d2ce1bf07d0e7af148abc626
ocaml(History) = 0b0d2dcd7d1bb285b9df57481a54a723
ocaml(Hook) = 007201a2147a09b94d0059b7abdffa14
ocaml(Hptmap) = 65fc349a9f8eef30b0de1f2ae7357954
ocaml(Hptmap_sig) = 30e5f4ad1d394b84d288418b7ee65edf
ocaml(Hptset) = 684e9f540e0ca22ecfa52c812a8f5ef5
ocaml(Impact) = d62746f2f2db131e4952812d39ffc3ff
ocaml(Indexer) = 088ea6fe0f3a73773637d0fa8b2d499c
ocaml(Infer_annotations) = a0d595c0f62957a37c91db8762901b2d
ocaml(Inout) = bc896c9e5dc9dab7effdbc601a394b08
ocaml(Inout_type) = 5c7188a92691fe578d7f37aa95359225
ocaml(Int_Base) = 96277101b7126c83d45eb6c423062e4d
ocaml(Int_Intervals) = 88a4b4c24d21f56a080ea0f9a669eb2a
ocaml(Int_Intervals_sig) = 2ced916f6b64266399970197d0399335
ocaml(Integer) = b92179d2c5412c03ae6620ac1fbe43a5
ocaml(Ival) = 73651d8dcf4afd401ba81d69cf04e146
ocaml(Journal) = edd16d2083d9111154c5b2f8c5128bed
ocaml(Json) = d135370745f30bdab2c73926533ed0bf
ocaml(Kernel) = cc470ddcb7f4bfc6fb0151dfc9f3d6ab
ocaml(Kernel_function) = b9527bb824f240072fc0afbbfed80434
ocaml(Lattice_messages) = 4eacf5b21e869960c6349b559efd0308
ocaml(Lattice_type) = 28fa504ede4cd3d9a6dd8f674303ad35
ocaml(Launcher) = 4d60424b1dba53cf6af0b006f79ad3aa
ocaml(Leftistheap) = 7e20f707a21bc2175b808ad0d2360781
ocaml(Lexerhack) = c1370be484b6c3c41a6c2c9f2667df47
ocaml(Lmap) = 313ba1203bbc406f40622434bb3e2d61
ocaml(Lmap_bitwise) = b8c2901ab32617d9d7a5e925a490b330
ocaml(Lmap_sig) = 99b09c84ed7b2da6133bc0a7ddfb3182
ocaml(Locations) = 258e413005c21494a9b4358ac869a2a9
ocaml(Log) = 85fd0ce2e09bc3d6f87f924d4b940e33
ocaml(Logic_builtin) = 761e0cfd4f48017a897672a66a932903
ocaml(Logic_const) = 4d7151f49939735b5dd07b0cf7afabd6
ocaml(Logic_env) = 8d077400129cb6f538d4fd40e88560bc
ocaml(Logic_interp) = e6375bfa2beb7cc183b5feced43c957f
ocaml(Logic_lexer) = e71b1f5d8d682aefca917ca8d45db8ff
ocaml(Logic_parser) = 1ac81c57e8b1820bddb5c516de4a00f8
ocaml(Logic_preprocess) = 29935a254f8a9b1a1893498e3b4d82b3
ocaml(Logic_print) = 5ee272852e8ae5790e3b4e4cea29f118
ocaml(Logic_ptree) = 81eefd4b4bd0bc3c669f0fedd41795f0
ocaml(Logic_typing) = c25022748dd736fc61e36e549f116a68
ocaml(Logic_utils) = 83f455d4a94e1ce27cde8696a30d37a2
ocaml(Loop) = 61d8adf8eae9d0aaf5a1373d3e0dac08
ocaml(LoopAnalysis) = 6c9dcfb8c6b925b1158e045a56fa0cf9
ocaml(Machdeps) = 18dad7d63b7e15ee9d1e1becb932dbf3
ocaml(Map_Lattice) = 9c082887fedb2aa63a1925ee19800dff
ocaml(Menu_manager) = 3bc3d93fb39882c78b756c55c5019d8f
ocaml(Mergecil) = 71728f32b59a59ffda75b08cd64f33fd
ocaml(Messages) = 7c3f76068477a9ac0786f4cf0c1ee63c
ocaml(Metrics) = 23e66af47203f327b3b1ad278d90e543
ocaml(Nonterm) = bf021ba073628a63d04440184b9f61cd
ocaml(Obfuscator) = 687312130c19e42e4643f5c0332ecfee
ocaml(Occurrence) = d65bd1c175f76ce2c229ba8d5b599e83
ocaml(Offsetmap) = ae35233702246532d4c61b1b4563d6c7
ocaml(Offsetmap_bitwise_sig) = 52e2164e3ee067fb9fe8ed53a9295da8
ocaml(Offsetmap_lattice_with_isotropy) = 55ae7659fc69db8c802981d29412f63a
ocaml(Offsetmap_sig) = 9ff76bb5990ba6a3a0901b4861b9d754
ocaml(Oneret) = 9799c3d86e527e2cb1b03f375f822397
ocaml(Ordered_stmt) = 2402ead8d918bdbe452f58132afa5794
ocaml(Origin) = f3c9e92e3bd046e41f9ab5de8688780b
ocaml(Parameter_builder) = e7956c0fb2edf1e88fbed930e4a2b754
ocaml(Parameter_category) = de35218507f8a26be11d6e3aa4339fa7
ocaml(Parameter_customize) = a7a6f361e94bec7ba067de80c003aae0
ocaml(Parameter_sig) = 2935ba643cb566fedcc6b763bdf31b5b
ocaml(Parameter_state) = fe47ce7fa3252a19e623fa8f8e262114
ocaml(Pdg) = 86ba51506b8f4d8c72f4dfa616402a05
ocaml(PdgIndex) = 19efbe18ceed9dbaea204a4b62e59ce3
ocaml(PdgMarks) = dd1d223f1e7345342e7651bc18145fcd
ocaml(PdgTypes) = 9c0a0aa675bfb42ba91a1d2741b0ce5e
ocaml(Plugin) = e6d44da2c353f146b4a72d1f02ec626e
ocaml(Postdominators) = 2f7ab53c20786fb58ce4c3b590f5fb43
ocaml(Precise_locs) = 337a4ea856e668b47e5ba42b03185955
ocaml(Pretty_source) = c0270ea67bc711e443c4fee3199ab1e5
ocaml(Pretty_utils) = a7382c5173bf753100166ff4f85e2227
ocaml(Print_api) = 90a71847527cd3ffb59dcda510e59b4f
ocaml(Printer) = 2c46fb5bc1e79f1e2c0f3c7a9a0c7353
ocaml(Printer_api) = b31c4d8b79255c1488f22fbc8327a4b0
ocaml(Printer_builder) = f67670f46201000df456443515723a68
ocaml(Project) = 78892ce86918886762e7d1595a0c4c37
ocaml(Project_manager) = f4eccef5c47cfb818a81d01db7de52b3
ocaml(Project_skeleton) = f2505b929644c7bebfc2a978432a3208
ocaml(Property) = b59c7ec608889937c271155fd5cca930
ocaml(Property_navigator) = 51dc40b5cbe2c25d8b7cfbb9b329aa78
ocaml(Property_status) = 38ee6ed3994b2d83da4c26df6a2491ad
ocaml(Ptests_config) = ca247eaa3df2709d662a6b0fe0753bc0
ocaml(Qed) = 8fd2ff7268e29d3d7fecd1810277706c
ocaml(Qstack) = 0892ce4d3af2e97b26841414fc35b7d2
ocaml(Rangemap) = f3f04ce98f0230c6cd32d4ded02fcb82
ocaml(Report) = 9184780121b6edd68fdfb27626737339
ocaml(Rgmap) = b2cfdc2a35f8fe3575a09ac8e91a0e3c
ocaml(Rmtmps) = 8edd25a6e0c2245c19922d14abc047ae
ocaml(RteGen) = cab0bf6cb220c5ba46b7d1d449d42707
ocaml(Scope) = 57aca16ab57b0e3df32c6f2d72721785
ocaml(Security_slicing) = a4be5d789363550a4cade9db64bfd225
ocaml(Service_graph) = 9d8d52f9c1da569f5c098706de7c1200
ocaml(Slicing) = bf6f417047f76f3cbddcdb80522f6729
ocaml(SlicingInternals) = f7804bfd7bfcae6e22f92a1dbf9d3e6c
ocaml(SlicingTypes) = 7a41d7f5d0ea006a9982ed2c7c77a319
ocaml(Source_manager) = a5856028e795b85449a21cb631d04b18
ocaml(Source_viewer) = 34a16db0e405b98f7caef8e97621c453
ocaml(Sparecode) = cff0a3e43dfdc7d04f768726fb09aba7
ocaml(Special_hooks) = 6de35fa5d97c8d817074b6a11912f0ba
ocaml(State) = 6e2272b8e489fdc74dd06b25a2dbbfce
ocaml(State_builder) = 1ed6a5738d95f2a466d0867dddb631f8
ocaml(State_dependency_graph) = a4e0639d6eb27e1fba7a36f1257ae83d
ocaml(State_selection) = 698cf0d9ad7073ee7df9b5c96edc7a03
ocaml(State_topological) = 2dfe2f086cb17ce0abef7ce4b9736f88
ocaml(Statuses_by_call) = ad1bdf8c2d8f1aa1a75b0f95958da33e
ocaml(Stmts_graph) = 4dd5cd1ecc77e34d74e611ac9d1022ae
ocaml(Structural_descr) = ad43649929d384d50500d1f691fc325e
ocaml(Task) = 209ea248790960277ea209e121528554
ocaml(Tr_offset) = ca7680a8a566e1288eaf7ca43390261c
ocaml(Transitioning) = 7b6ddc252da42bd67b36e74b469646d3
ocaml(Translate_lightweight) = 950e8808023c8bfb1cb17b16a5ab1291
ocaml(Type) = 0af579c6092de06e1de25f8229df557d
ocaml(Typed_parameter) = a83acc3fb70f470628bd1b404f06db8b
ocaml(Undefined_sequence) = 5e17bf7017a762d69b57888083e900bb
ocaml(Unicode) = a3368ffab0c06034dcc99c1390d6a6f5
ocaml(Unmarshal) = 5b10154ae6d90f164c8a337452d8d976
ocaml(Unmarshal_z) = 8ed4707c640193dee4530e96692f9697
ocaml(Unroll_loops) = d0daebe8da986c1eedcc8d46aac7ebb8
ocaml(Users) = 5c0b68766f7021558cadccecde1bdf48
ocaml(Utf8_logic) = 69c83a68923dd1a73f1921a953448a46
ocaml(Value) = 4257f686739818caab99f359cc092368
ocaml(Value_types) = c30ba36086c28b1fa31f5ab31aa61790
ocaml(Variadic) = de0c23160a4e55c500ab3df204cdfc5d
ocaml(Vector) = a85b7ed0fa2a3763c26609b2d8f93b59
ocaml(Visitor) = bcb082d75fba27687548a3144d881efa
ocaml(Warning_manager) = cffb47ac1e3ea0f93303de0b4552e73c
ocaml(Wbox) = 97909f2434a2a3da0d7eec92d4e274b2
ocaml(Wfile) = 0161c93cc0dc7d045aad465e9c7bc66d
ocaml(Widen_type) = 277a25218b7b9d9e458ae49009e75b23
ocaml(Widget) = e0a6969e8b0c1fe7afe037473ed56464
ocaml(Wp) = 4f79044c1cbc7b01f7b48a273b931b07
ocaml(Wpalette) = 67a6be56e588d89329ec2957bf9ea0b8
ocaml(Wpane) = f326da9b69516883f2c807e625e10ec8
ocaml(Wtable) = c96d20b3bba34173edbc61ef6387ee38
ocaml(Wtext) = 2f7f61606cb621a7e003f4273ceada34
ocaml(Wto) = c986dc9d453c365c7a62d1638ba24a22
ocaml(Wto_statement) = b58dccfa3a459312c01eb2f355bb6330
ocaml(Wutil) = a5799d50ae87e4c520cbbb3511311304
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
bash-completion
gcc
graphviz
hicolor-icon-theme
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
libart_lgpl_2.so.2()(64bit)
libatk-1.0.so.0()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libcairo.so.2()(64bit)
libdl.so.2()(64bit)
libdl.so.2(GLIBC_2.17)(64bit)
libfontconfig.so.1()(64bit)
libfreetype.so.6()(64bit)
libgdk-x11-2.0.so.0()(64bit)
libgdk_pixbuf-2.0.so.0()(64bit)
libgio-2.0.so.0()(64bit)
libglib-2.0.so.0()(64bit)
libgmp.so.10()(64bit)
libgnomecanvas-2.so.0()(64bit)
libgobject-2.0.so.0()(64bit)
libgtk-x11-2.0.so.0()(64bit)
libgtksourceview-2.0.so.0()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.17)(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libpango-1.0.so.0()(64bit)
libpangocairo-1.0.so.0()(64bit)
libpangoft2-1.0.so.0()(64bit)
libpthread.so.0()(64bit)
libpthread.so.0(GLIBC_2.17)(64bit)
ltl2ba
ocaml(Abstract_interp) = d54956fd6839d457c6da1dada278bc7f
ocaml(Alarms) = cced40b43384c136fc3a596851cc0d5d
ocaml(Annotations) = 3d7f6fcaa3d9eeca1c40fb21d09907e6
ocaml(Apron) = bb6f404fcff1a4351eb77ba423ee7feb
ocaml(Array) = 0fba23558da789bd0ef7ad786bdc90e6
ocaml(ArrayLabels) = c4974e11dd7c941c002b826edc727de8
ocaml(Ast) = e9aae8a09c0ee2a273a404141b2a3b90
ocaml(Ast_info) = a8f293d6b182d561be6191be0899f8b5
ocaml(Bag) = bff29a84f7116960ecc6c721b551d00b
ocaml(Base) = 34725072734247cece87af17a835c91d
ocaml(Big_int) = 03222e74eff85e83058e8aa59ebd0a1b
ocaml(Bigarray) = da090c7264bf7d65c07dca0e9ef669b5
ocaml(Binary_cache) = 31a9c8b54006fc53131e5eaae8687dde
ocaml(Bit_utils) = e48d59c9edfb2921c867f58b7694c8cc
ocaml(Bitvector) = cd63e3c2905fbb50ed1d25ccdd8fa42c
ocaml(Bottom) = 8676e0bc17d4256763715cb42e2960b2
ocaml(Box) = 97995f6651c65efd635fef2f4c6b0e84
ocaml(Buffer) = 9c9b3639d23d7746c571cdf04646eb29
ocaml(Bytes) = b0d8deb18827702df0887113ba3c0110
ocaml(BytesLabels) = 082178365ae645afd148522f3218f31e
ocaml(Cabs) = ae6540aaa32d6db6132568a34bc76114
ocaml(Cabs2cil) = 9f56809fd7a28af987ef137ba941bf30
ocaml(Cabsvisit) = af7819b38821efbd4e4f5bf9844d73f9
ocaml(Callback) = 381b3818bd7b7f37a7bf11fb6c76a12a
ocaml(Callgraph) = e71a4b8c2f87d57256dbbe7179d25a8b
ocaml(CamlinternalBigarray) = 4ff98b0650eef9c38ee9c9930e0c3e9b
ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b
ocaml(CamlinternalLazy) = 82ff65fd3ba766b66b963761d8f6b333
ocaml(CamlinternalMod) = 8d4f9a6217ec1079cfdda6e658d5c81c
ocaml(CamlinternalOO) = 69dec6b14920fcc456f3cbd10764333e
ocaml(Cfg) = cba3fa925fa4f9665e2ccd9ff120fe78
ocaml(Char) = 4918635b8796d0ab0d5c593b942f8df7
ocaml(Cil) = 1364e08c41c27b4ecc46a710a80d886f
ocaml(CilE) = 5ac1911a6d8847d02eb0167d90e19d8b
ocaml(Cil_const) = e89c846686cd0ada7c93c37e56e3e693
ocaml(Cil_datatype) = 3fbcd1ef3e43fee7b30bfbb2bc921da2
ocaml(Cil_printer) = 0f7b9ba1a7fcd42d2d5fa12b94a1208f
ocaml(Cil_state_builder) = d093ed696e33be437a5a00150466a5ca
ocaml(Cil_types) = e7a7d932bc505676df18abb83c31a709
ocaml(Clexer) = 8c6921a830a388080fdef4cf7003f4b8
ocaml(Cmdline) = f747f6ab09616067a49d3cff71f0d1ea
ocaml(Command) = 4f7def45b6c4600f99fa0533b9d8ce39
ocaml(Complex) = cd4856c93f21942683ce190142e88396
ocaml(Config) = 8e431df20b39e9304a09823df5f1710f
ocaml(Cparser) = 4b448545c71e1b0eba17ae29eebc59e5
ocaml(Cprint) = 14c9f125238bdc6f4e445fd87777a527
ocaml(Cvalue) = c43a4ce6681a5c8636ae36c1f4f7c528
ocaml(Dataflow) = fe3caed0383ad468a2662ed6a02371b3
ocaml(Dataflow2) = da9d84d02d94f00dafbf59d8735aa1d3
ocaml(Dataflows) = b10ce49a8fedb730d21f72f74f29d1a3
ocaml(Datatype) = 6f829fffdceb76117d8863ab07380edf
ocaml(Db) = 8e39ddf1fbd60257b368509fc4fbf86d
ocaml(Descr) = 0d0313918aa08e02cd1323853f029f97
ocaml(Description) = bd327ddcc3c7494d11c95699684d3851
ocaml(Design) = 3d4486a616c12e0b0fb59374c890471a
ocaml(Dgraph) = 079e662790a80d7acd76eed3d0d37ecc
ocaml(Digest) = 9eea388efd5172256c8453659d37f2b5
ocaml(Dominators) = 59cb72e08dfde035a4d52a7212f28113
ocaml(Dynamic) = 63ed1b4153add9ea690725d24b347565
ocaml(Emitter) = 1559ed6fd7d6dba9fa9208192c89dec4
ocaml(Escape) = 733c86f0c56b817fa9967576a83cd0e6
ocaml(Extlib) = c3255449d31beb3a8a9698c9ccc03254
ocaml(FCHashtbl) = b2919f4ff775021bed91f7ae685e95ef
ocaml(FCMap) = d22dd48a4932aecfdbf43ac2789224b9
ocaml(FCSet) = 694e657a6ad876c1a7d48b2bc483c25a
ocaml(File) = 6cd56fc1d81d662214fae633de539df2
ocaml(Filecheck) = 48503b87e3caaa331d0528206f4d57c2
ocaml(Filename) = 4c2454d1aec88f5851f077478f232f2f
ocaml(Filepath) = ff94ffaad21279a43ad47e7a64c34bb8
ocaml(Filetree) = c87cbe5444c5c3977be363aab6042bcf
ocaml(Filter) = 6b14bd8fc1b919499becd88579cadb07
ocaml(Floating_point) = 5f86754fe26bd5c3e36698049df9b908
ocaml(Format) = 1a17539924469551f027475153d4d3b5
ocaml(Function_Froms) = e1d421a11d679f804ec809086d573207
ocaml(Fval) = 428dee900efea14309e64965a58afc73
ocaml(GBin) = 740067a9f24dc17e054d301ca1894baa
ocaml(GBroken) = 558568d2300ce05a3f17550116093e53
ocaml(GButton) = c5e2d7de83515955d0be8babc49b616f
ocaml(GContainer) = f00546a1f6185d95ab5c4c55656aaae1
ocaml(GData) = 30f9866ff8f98faaee7174e6e7a1e494
ocaml(GDraw) = 5c4f01013fa062085ad2949d389501bf
ocaml(GEdit) = 468c05c67faf57e8f2bf53498e4bc376
ocaml(GFile) = 4ab9588434cf9fbe1336b67de93788c8
ocaml(GList) = 6cf30d3d1efea044fd562067c4d2990d
ocaml(GMenu) = 070d3ee09be22b9542e48692b0c52bfb
ocaml(GMisc) = 26087de4a03f3223b1212b95cd4020f5
ocaml(GObj) = d5c97e5e7e95fa043ebc44d31cb1bf0b
ocaml(GPack) = fb4eef2913e207d2b0f324934bb734a5
ocaml(GPango) = feec5e3a138dec642e21af5e93b607f8
ocaml(GRange) = 80942f4e2d6746368f9b113905c8afe8
ocaml(GSourceView2) = bbe24f38ab6cace3e7a63f56135f47a6
ocaml(GText) = 114bf26736f814b8733271f995ba8e33
ocaml(GToolbox) = baf5f1691107148cf6cd98b4dd6531ba
ocaml(GTree) = 2c02cde8134da80a8549286e6e119613
ocaml(GWindow) = dc0de478b6ecff316f3457d38f0418ad
ocaml(Gaux) = e3eb6da8e6a770dbc3a20e1adaf076f5
ocaml(Gc) = 710a8e8b6b15999f36e8242e2a0ef75d
ocaml(Gdk) = 835ebb40432db1fd46a6b7cccb87e189
ocaml(GdkEnums) = 91a1993481e6b572aca60f56c233f1d4
ocaml(GdkEvent) = d519afa3652572b7e283d33f630756d1
ocaml(GdkKeysyms) = 79a1ffb9b94248b2958e7018ebb9aca1
ocaml(GdkPixbuf) = 926199cc1d831b85b632cf2801cf5680
ocaml(Glib) = dfc14b40ae98f9116399057f3858bdef
ocaml(Globals) = 5f0f63fd2b194d09aab91e4adcec6269
ocaml(GnoCanvas) = 96d05c12f1a09ba32e6ac1bb75741cf3
ocaml(GnomeCanvas) = 34047a6ac5c4ef850b15cdc0b42c96ce
ocaml(Gobject) = bdfdd8a15cba3ee1b2dded0ad1bfc916
ocaml(Gpointer) = 709da818c13b3fbea983bc71e27193ee
ocaml(Graph) = efd29031a386bdb3914529e98b14a030
ocaml(Gtk) = 4528d1d30a0aff58ea176d159087b43b
ocaml(GtkBase) = 604c54b2d0d7b37b9c55a1d3992b9792
ocaml(GtkBaseProps) = cf9567c12857063310aceac67e55201d
ocaml(GtkButtonProps) = 0e97fe7b7e3ca185219516f980087394
ocaml(GtkData) = e0d2276d1d159f205ce2e8d0f4d1e4b2
ocaml(GtkEnums) = 14eb3a51d85ace20c3d68ffdb4d8ff5e
ocaml(GtkMain) = 30b11895ee15c399510b33cfa6e3e4f4
ocaml(GtkObject) = 025aa5b7435c2b6c587314f9ed7b17ec
ocaml(GtkPack) = 001b4762222f670225a45b5b4451bf5a
ocaml(GtkPackProps) = ccfa17c2a16164c604712bf8c044552d
ocaml(GtkSignal) = e48210b86284188cb4834895e95e6476
ocaml(GtkSourceView2Props) = 0468147a0e5b0df9bf6cbc2f7274347d
ocaml(GtkStock) = 6713bee41c8dbeffecd7a8c102390a60
ocaml(GtkTree) = bb3f520d4ce7820564c2345cdcc70063
ocaml(GtkTreeProps) = 12161be418327bef3ac92fba94929008
ocaml(Gtk_form) = 12cb329eb0b32a8a1dd3b3c15986a252
ocaml(Gtk_helper) = ac30bd1c1392a67168de759d871d7346
ocaml(Gui_parameters) = c640c08188f24e5c193f2bbb7edc21a0
ocaml(Hashtbl) = 0a88e320f172d3413ba0d5e0f9c70ccd
ocaml(History) = 0b0d2dcd7d1bb285b9df57481a54a723
ocaml(Hook) = 007201a2147a09b94d0059b7abdffa14
ocaml(Hptmap) = 65fc349a9f8eef30b0de1f2ae7357954
ocaml(Hptmap_sig) = 30e5f4ad1d394b84d288418b7ee65edf
ocaml(Hptset) = 684e9f540e0ca22ecfa52c812a8f5ef5
ocaml(Indexer) = 088ea6fe0f3a73773637d0fa8b2d499c
ocaml(Infer_annotations) = a0d595c0f62957a37c91db8762901b2d
ocaml(Inout_type) = 5c7188a92691fe578d7f37aa95359225
ocaml(Int32) = dbc028028ad4d59759d36dd6c0796919
ocaml(Int64) = f1c602b12ea723a45bbe6143f116a991
ocaml(Int_Base) = 96277101b7126c83d45eb6c423062e4d
ocaml(Int_Intervals) = 88a4b4c24d21f56a080ea0f9a669eb2a
ocaml(Int_Intervals_sig) = 2ced916f6b64266399970197d0399335
ocaml(Integer) = b92179d2c5412c03ae6620ac1fbe43a5
ocaml(Ival) = 73651d8dcf4afd401ba81d69cf04e146
ocaml(Journal) = edd16d2083d9111154c5b2f8c5128bed
ocaml(Json) = d135370745f30bdab2c73926533ed0bf
ocaml(Kernel) = cc470ddcb7f4bfc6fb0151dfc9f3d6ab
ocaml(Kernel_function) = b9527bb824f240072fc0afbbfed80434
ocaml(Lattice_type) = 28fa504ede4cd3d9a6dd8f674303ad35
ocaml(Lazy) = 4bf082b428b11a15971c831a1c768bda
ocaml(Leftistheap) = 7e20f707a21bc2175b808ad0d2360781
ocaml(Lexing) = 0971650cdf1fa8e506e733e9a5da2628
ocaml(List) = 7a6b1f92720df765cf38d67f920844fe
ocaml(ListLabels) = f4e829075d9d0bb7de979cfc49c2600b
ocaml(Lmap) = 313ba1203bbc406f40622434bb3e2d61
ocaml(Lmap_bitwise) = b8c2901ab32617d9d7a5e925a490b330
ocaml(Lmap_sig) = 99b09c84ed7b2da6133bc0a7ddfb3182
ocaml(Locations) = 258e413005c21494a9b4358ac869a2a9
ocaml(Log) = 85fd0ce2e09bc3d6f87f924d4b940e33
ocaml(Logic_builtin) = 761e0cfd4f48017a897672a66a932903
ocaml(Logic_const) = 4d7151f49939735b5dd07b0cf7afabd6
ocaml(Logic_env) = 8d077400129cb6f538d4fd40e88560bc
ocaml(Logic_interp) = e6375bfa2beb7cc183b5feced43c957f
ocaml(Logic_lexer) = e71b1f5d8d682aefca917ca8d45db8ff
ocaml(Logic_parser) = 1ac81c57e8b1820bddb5c516de4a00f8
ocaml(Logic_ptree) = 81eefd4b4bd0bc3c669f0fedd41795f0
ocaml(Logic_typing) = c25022748dd736fc61e36e549f116a68
ocaml(Logic_utils) = 83f455d4a94e1ce27cde8696a30d37a2
ocaml(Loop) = 61d8adf8eae9d0aaf5a1373d3e0dac08
ocaml(LoopAnalysis) = 6c9dcfb8c6b925b1158e045a56fa0cf9
ocaml(Map) = 8b8de381501aa7862270c15619322ee7
ocaml(Marshal) = 9dbb48cebd784fc6219ed0e9514fc7df
ocaml(Menu_manager) = 3bc3d93fb39882c78b756c55c5019d8f
ocaml(Mpf) = ef8a315a0d589acd36d6e4cf1be416d6
ocaml(Mpfr) = 12db68625e6746215ccec41fa6ea7fd3
ocaml(Mpfrf) = 35cfcde17c4e36b363a41c7e63c62a54
ocaml(Mpq) = 87f640a172b529b7e0e6e2a98704e39f
ocaml(Mpqf) = bec11a571110a9b74c4124d19f753ee8
ocaml(Mpz) = 9e7465adf8fb23ded6eccfcf79b197ed
ocaml(Mpzf) = 66842c5851d94cb46eccf2e6de9346ed
ocaml(Nat) = fef727f1ecfe9365db096949ceee1ea1
ocaml(Nativeint) = 7b210723c1ccafec90ff1578ad7e5996
ocaml(Num) = 2d56e1ad416bb61e8bb74f395a2f5704
ocaml(Obj) = 8a1a1ebb4979c1cf4966cc2e706bd0f9
ocaml(Oct) = 6afea36dff01ccde75e83489e167adb0
ocaml(Offsetmap) = ae35233702246532d4c61b1b4563d6c7
ocaml(Offsetmap_bitwise_sig) = 52e2164e3ee067fb9fe8ed53a9295da8
ocaml(Offsetmap_lattice_with_isotropy) = 55ae7659fc69db8c802981d29412f63a
ocaml(Offsetmap_sig) = 9ff76bb5990ba6a3a0901b4861b9d754
ocaml(OgtkSourceView2Props) = e99197d12a2f219d9a44cc97f4bce0fd
ocaml(Ordered_stmt) = 2402ead8d918bdbe452f58132afa5794
ocaml(Origin) = f3c9e92e3bd046e41f9ab5de8688780b
ocaml(Pango) = 2e39116a2dad6d5988e07d6bb940d893
ocaml(PangoEnums) = 5b6056e1a5f2fff07f1f1321a3fa841f
ocaml(Parameter_category) = de35218507f8a26be11d6e3aa4339fa7
ocaml(Parameter_customize) = a7a6f361e94bec7ba067de80c003aae0
ocaml(Parameter_sig) = 2935ba643cb566fedcc6b763bdf31b5b
ocaml(Parameter_state) = fe47ce7fa3252a19e623fa8f8e262114
ocaml(Parsing) = a75b4b148ac8febe8bba7d4528048ecb
ocaml(Pdg) = 86ba51506b8f4d8c72f4dfa616402a05
ocaml(PdgIndex) = 19efbe18ceed9dbaea204a4b62e59ce3
ocaml(PdgMarks) = dd1d223f1e7345342e7651bc18145fcd
ocaml(PdgTypes) = 9c0a0aa675bfb42ba91a1d2741b0ce5e
ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2
ocaml(Plugin) = e6d44da2c353f146b4a72d1f02ec626e
ocaml(Polka) = 03b5647178cc969c7a0965024e4aeb7e
ocaml(Precise_locs) = 337a4ea856e668b47e5ba42b03185955
ocaml(Pretty_source) = c0270ea67bc711e443c4fee3199ab1e5
ocaml(Pretty_utils) = a7382c5173bf753100166ff4f85e2227
ocaml(Printer) = 2c46fb5bc1e79f1e2c0f3c7a9a0c7353
ocaml(Printer_api) = b31c4d8b79255c1488f22fbc8327a4b0
ocaml(Printexc) = 1b461321ebcc8e419f24eb531c5ac7ac
ocaml(Printf) = e5dfd0ca6436c8abad976fc9e914999a
ocaml(Project) = 78892ce86918886762e7d1595a0c4c37
ocaml(Project_skeleton) = f2505b929644c7bebfc2a978432a3208
ocaml(Property) = b59c7ec608889937c271155fd5cca930
ocaml(Property_status) = 38ee6ed3994b2d83da4c26df6a2491ad
ocaml(Qed) = 8fd2ff7268e29d3d7fecd1810277706c
ocaml(Queue) = 63b55df0e31ad91e82a1c6659c8dca09
ocaml(Ratio) = 3e4f9c2885f67c864ec5517d16ac0410
ocaml(Scanf) = e807880cfcd97dfe1c40fcbbb5573f71
ocaml(Service_graph) = 9d8d52f9c1da569f5c098706de7c1200
ocaml(Set) = 28a12def19edf36c317c30fafcc03d6d
ocaml(SlicingInternals) = f7804bfd7bfcae6e22f92a1dbf9d3e6c
ocaml(SlicingTypes) = 7a41d7f5d0ea006a9982ed2c7c77a319
ocaml(SourceView2Enums) = 234f08c5e60b50f07db4d0aa36a2eb79
ocaml(Source_manager) = a5856028e795b85449a21cb631d04b18
ocaml(Stack) = a3c26bdec0c0211d9b444bd0da56bd1e
ocaml(State) = 6e2272b8e489fdc74dd06b25a2dbbfce
ocaml(State_builder) = 1ed6a5738d95f2a466d0867dddb631f8
ocaml(State_dependency_graph) = a4e0639d6eb27e1fba7a36f1257ae83d
ocaml(State_selection) = 698cf0d9ad7073ee7df9b5c96edc7a03
ocaml(Statuses_by_call) = ad1bdf8c2d8f1aa1a75b0f95958da33e
ocaml(StdLabels) = 5529e284278766333d5e40132b2cbce5
ocaml(Stmts_graph) = 4dd5cd1ecc77e34d74e611ac9d1022ae
ocaml(Str) = 702cbdf6aef59ea727e6090656cefc94
ocaml(String) = e6a69bfe22781c3a43e5dc04b6d1728a
ocaml(StringLabels) = 6339e2b71e8c583a81e808954faf6818
ocaml(Structural_descr) = ad43649929d384d50500d1f691fc325e
ocaml(Sys) = 3fe6d98e0634486be22d9de07aa0709a
ocaml(Task) = 209ea248790960277ea209e121528554
ocaml(Transitioning) = 7b6ddc252da42bd67b36e74b469646d3
ocaml(Type) = 0af579c6092de06e1de25f8229df557d
ocaml(Typed_parameter) = a83acc3fb70f470628bd1b404f06db8b
ocaml(Uchar) = 596c497318b5c3057b47b9d6747ef5d1
ocaml(Unicode) = a3368ffab0c06034dcc99c1390d6a6f5
ocaml(Unix) = 053326e853ce10e1fadf8d891f08f891
ocaml(Unmarshal) = 5b10154ae6d90f164c8a337452d8d976
ocaml(Value_types) = c30ba36086c28b1fa31f5ab31aa61790
ocaml(Vector) = a85b7ed0fa2a3763c26609b2d8f93b59
ocaml(Visitor) = bcb082d75fba27687548a3144d881efa
ocaml(Wbox) = 97909f2434a2a3da0d7eec92d4e274b2
ocaml(Weak) = a2706834b4d23daf7798bebbefb79ecb
ocaml(Widen_type) = 277a25218b7b9d9e458ae49009e75b23
ocaml(Widget) = e0a6969e8b0c1fe7afe037473ed56464
ocaml(Wpalette) = 67a6be56e588d89329ec2957bf9ea0b8
ocaml(Wpane) = f326da9b69516883f2c807e625e10ec8
ocaml(Wtable) = c96d20b3bba34173edbc61ef6387ee38
ocaml(Wtext) = 2f7f61606cb621a7e003f4273ceada34
ocaml(Wto) = c986dc9d453c365c7a62d1638ba24a22
ocaml(Wto_statement) = b58dccfa3a459312c01eb2f355bb6330
ocaml(Wutil) = a5799d50ae87e4c520cbbb3511311304
ocaml(runtime) = 4.06.0
ocaml-findlib
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests
alt-ergo
coq
z3
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 755 >>>
Name ascending sort Size
/etc/bash_completion.d/frama-c3078
/usr/bin/e-acsl-gcc.sh20899
/usr/bin/frama-c18173984
/usr/bin/frama-c-config921680
/usr/bin/frama-c-gui24696600
/usr/bin/ptests1546664
/usr/lib/.build-id0
/usr/lib/.build-id/040
/usr/lib/.build-id/04/b31e0b79d8d4fae9db5f58b7eb9266380ad7fc49
/usr/lib/.build-id/0c0
/usr/lib/.build-id/0c/94eeb108459c5a663ff473e9af0bf55bdc759454
/usr/lib/.build-id/160
/usr/lib/.build-id/16/cb5bcaa029acca3310a56c7cd65b92b6c6bcff59
/usr/lib/.build-id/220
/usr/lib/.build-id/22/779c6131a42056935bc628b6c8dcb8999ed2c961
/usr/lib/.build-id/3e0
/usr/lib/.build-id/3e/2f3e766605246814791969ef3aa890cd43a03a57
/usr/lib/.build-id/420
/usr/lib/.build-id/42/01447048cc5501bae13514dae670f9d29c35a527
/usr/lib/.build-id/460
/usr/lib/.build-id/46/8a02369179bc634dae04c9eefabe911eb70fb755
/usr/lib/.build-id/470
/usr/lib/.build-id/47/ee2ee2f530af941bc042ae22d5edc5a484aeb253
/usr/lib/.build-id/4b0
/usr/lib/.build-id/4b/7b82a8da35c1bff5a7c8a2fd4d582b99146b4454
/usr/lib/.build-id/4d0
/usr/lib/.build-id/4d/14a34ac3489f8d98dc106f483bf1ee6427c78f52
/usr/lib/.build-id/4e0
/usr/lib/.build-id/4e/faf0fd2115a226e510b618169a844ef2901c1736
/usr/lib/.build-id/500
/usr/lib/.build-id/50/6a098c282a7983a85074c91906e9e8118ada5252
/usr/lib/.build-id/520
/usr/lib/.build-id/52/141b0320b870d85cbaad86d6af3b9716327ec834
/usr/lib/.build-id/560
/usr/lib/.build-id/56/c14f61f91ff393bb90952da596fe3701cdef9a31
/usr/lib/.build-id/5e0
/usr/lib/.build-id/5e/0dc1002007b36bcb106b4f047016837ead7a6453
/usr/lib/.build-id/620
/usr/lib/.build-id/62/16b474cc11caf8693534e230deb984c63b4d3057
/usr/lib/.build-id/630
/usr/lib/.build-id/63/452f585b7bd1e94480a59dd519c6e27ce1910b51
/usr/lib/.build-id/680
/usr/lib/.build-id/68/ba39236ddbcb2298c1ea0705b9c2f1826f217567
/usr/lib/.build-id/6a0
/usr/lib/.build-id/6a/bbdfcc07d744ee72b0614dc8d6dbd3791cb31b63
/usr/lib/.build-id/770
/usr/lib/.build-id/77/56c79c58caeee9297338a9d61371f5df20c5bd52
/usr/lib/.build-id/7f0
/usr/lib/.build-id/7f/ba52715c43e19a296cd2433567cbedfa3264d753
/usr/lib/.build-id/840
Component of No Buildroots