SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

why-jessie rpm build for : Fedora 15. For other distributions click why-jessie.

Name : why-jessie
Version : 2.29 Vendor : Fedora Project
Release : 2.fc15 Date : 2011-07-14 22:59:00
Group : Applications/Engineering Source RPM : why-2.29-2.fc15.src.rpm
Size : 14.34 MB
Packager : Fedora Project
Summary : Interface between why and frama-c
Description :
The Jessie plugin, an interface between why and frama-c. Invoke it with:
frama-c -jessie FILE.c

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/15/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why-jessie-2.29-2.fc15.x86_64.rpm
     

Provides :
Jessie.cmxs()(64bit)
ocaml(Effect)
ocaml(Explain)
ocaml(Ident)
ocaml(Jc)
ocaml(Jc_ast)
ocaml(Jc_common_options)
ocaml(Jc_constructors)
ocaml(Jc_env)
ocaml(Jc_envset)
ocaml(Jc_fenv)
ocaml(Jc_iterators)
ocaml(Jc_noutput)
ocaml(Jc_output)
ocaml(Jc_output_misc)
ocaml(Jc_pervasives)
ocaml(Jc_poutput)
ocaml(Jc_region)
ocaml(Jc_stdlib)
ocaml(Jc_type_var)
ocaml(Jessie)
ocaml(Option_misc)
ocaml(Pp)
ocaml(Print_real)
ocaml(Rc)
why-jessie
why-jessie(x86-64)

Requires :
ocaml(Rc) = 87e78e1b6f14b0a41f3cc3d9de442763
ocaml(Lmap_bitwise) = 7e87225015d48f7cea19e7a5f564761f
ocaml(Plugin) = f0c3c0ac2edf9a188812aa7c0d3b9c10
ocaml(Digest) = 84cddf85614815250d98d54ec13705b1
rtld(GNU_HASH)
ocaml(Jc_poutput) = 1cce73b491171309ed3da04bd65cf1fa
ocaml(Db_types) = c1cf0bd9eda72227205400a68c87e572
ocaml(State_set) = b7acc1abcdb8f3f3a3d49da6f42c6688
ocaml(Globals) = 5329b7610a6f852c1f16125346cf745f
ocaml(Pretty_utils) = ea7b5c0cb419df218f6a10412fa7185c
ocaml(Relations_type) = 552b134c5d413f3c7e920f54a5267fff
ocaml(Logic_env) = 123482474b67e6667fc3c617130a56ba
ocaml(Abstract_value) = fda200b8243429d53aa1d20d41cee460
ocaml(Project_skeleton) = 8dce8aced3c2aeb74ce6c3b6aa0a4c20
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
ocaml(Nat) = 7ab8ce32b152977f693920f75bf5b3dc
ocaml(Stream) = cc2abcbdc5423e35862902ae0a0a4a7d
ocaml(PdgTypes) = 693c19a62ca70583252db1543444e472
ocaml(Cmdline) = 00e01e15763c5d11949e68f4e62bd613
frama-c
ocaml(Dynamic) = 0e89d67aeefcaa8b97281847bb9dac7f
ocaml(PdgIndex) = 6afebc3f13d8fe7565684eda42c79ba7
ocaml(Lattice_With_Isotropy) = 8f68b3b033377943fad8d864f099a98b
rpmlib(FileDigests) <= 4.6.0-1
ocaml(State_dependency_graph) = bc73003b095e295643e980941a87e1d9
ocaml(Ratio) = caeed63c8c14ba6509a034cae837850a
ocaml(Log) = 1ff53749ae9db141c9b39991454684ab
ocaml(Char) = 3dee29b414dd26a1cfca3bbdf20e7dfc
ocaml(Set) = 7b178c9cf52b5cb8145441e1a0d309f5
ocaml(Jc) = 6e544d5db51e9c63a6bf32fdcc0e3e3a
ocaml(Jc_output_misc) = 929d1f9b31e2663a161788142ed02e4e
ocaml(Annotations) = f23f8958bbd3a6784bfe0e2bc51e8fd8
ocaml(CamlinternalOO) = 9cf8941f15489d84ebd11297f6b92182
ocaml(SlicingInternals) = f563cec8ab85e502ca9236e40a811083
ocaml(Printf) = 55250c391e05a095d3696890d0d554a2
libc.so.6()(64bit)
ocaml(CamlinternalMod) = 2fb257bba37244d762abd2549489e493
ocaml(Inthash) = 60b13a59dc36dc27e54a560a8e88bfaf
ocaml(Buckx) = c9021f0b84a4caec7f419ebd57d26027
ocaml(Unmarshal) = 208b7e570edf17b35e3041b3355fb7d1
ocaml(Base) = 9c03dd776f997c3d89f5654cd43e2435
ocaml(Dashtbl) = 079706083a340ee3fd577f3e168a1f45
ocaml(Int_Base) = f468437060e7eeb95fd1be03b5d3880a
ocaml(Effect) = 6cbd82f35270bb55e0a8195f9e67b3fa
ocaml(Logic_ptree) = 754579fb3672f2398c27847c773b8044
ocaml(Buffer) = 40bf652f22a33a7cfa05ee1dd5e0d7e4
ocaml(Datatype) = 4e940e19fc0b51eca4a9251bef800f14
ocaml(Descr) = 946123e738d50e4afd020c132ba01fa8
ocaml(Graph) = 0fb5f7ff42859be8a6e16aedd6a98c07
ocaml(runtime) = 3.12.0
ocaml(Arg) = 877340141c0babb58b3aaef2f5b70fc9
ocaml(String) = 06ab5e6944c47322b9d305c0aa0b07ff
libdl.so.2()(64bit)
ocaml(Kernel_function) = 8deb4dac64938193b6364c883d3e8c9b
ocaml(CilE) = 71adb0e1898747e3cbec48229cde21cc
ocaml(State_selection) = 6588173feb33f2b7c042761200cc551c
ocaml(Parameters) = c571448ff32318c7b266ab299f233e6a
ocaml(Inout_type) = 78668c0db516f773ff8448a7697af4bc
ocaml(State_builder) = 325f02b632275d364601fd11d9c7751f
ocaml(Jc_fenv) = 1ccc613ad9d08e34b85b5c8a37e7f80d
ocaml(Jc_pervasives) = e01392f4f785b9927e4b66228ca6c025
libm.so.6()(64bit)
ocaml(Abstract_interp) = 62cdf45d70400517207f4dbeeda75405
libc.so.6(GLIBC_2.3)(64bit)
ocaml(Sys) = 4fe60c54d4de0672924c1d4ee2053e46
ocaml(Jc_stdlib) = 08491dc1669680b2ee48e42914f60235
libdl.so.2(GLIBC_2.2.5)(64bit)
ocaml(Ival) = 4a158e6346ec76250f7f3e11d5e1f704
ocaml(Option_misc) = c186523614c1d1492b03b49c4de6d47f
ocaml(Hook) = 7e2c50173b382a0e6a2d4c079e1a35aa
ocaml(Structural_descr) = 79f3cf0d4f608aa80b1415191cbf766a
ocaml(Hptset) = 7cb471df0e9ff34a353fd274091d54be
ocaml(List) = 9c85fb419d52a8fd876c84784374e0cf
ocaml(Jc_common_options) = 928125a631dac948a68d9fd75cebde9f
ocaml(Cil_datatype) = 4e8921a460a13d685e605703d2c266df
ocaml(Printer) = cc9f1ed6efbea9b3e845bbc7f1a39c90
ocaml(Alarms) = 89f3d2734d33a89d51bc65fe8dc6516f
ocaml(Int64) = 8f09e1331fe8af2d7b954585551cbe4f
ocaml(Jc_region) = 77a7ede4216f2c6d2c2a54725f4b0744
ocaml(Config) = f871c5ddfc7dc8f084cd4c6c5a266414
ocaml(Lexing) = 7d5623c54d065ad3f652261d2776959c
ocaml(State) = 9363dc2ff459698588e20541a4d1755f
ocaml(My_bigint) = a44fcdbdadb9bb83fd090d8321d9379c
ocaml(Array) = 720848e0b508273805ef38d884a57618
ocaml(Hptmap) = b7c20b8d8967b9b3e1adb2107a2e1563
ocaml(Logic_utils) = a1cd14d4c12bd5d218ed5ce49c164fd5
ocaml(Db) = 2da16bfd725aff3a6dbeac82bc7b2ea2
ocaml(Parsing) = 59e1db94d28f5c920aaddc6ba25fb659
ocaml(Type) = 4076f82513097043ae120d0584f86427
ocaml(Function_Froms) = b0020c563699612b207c2d80d3735eae
libc.so.6(GLIBC_2.2.5)(64bit)
ocaml(Lmap) = 6d8991c7e5c75580a92040480956eed7
ocaml(Jc_type_var) = 33c16759e60b69f0051958c0e7b50aff
ocaml(Logic_const) = 2035b227619750aa916f3806d361aa24
ocaml(Extlib) = f512af689557691c172c075565d6ca75
ocaml(Offsetmap) = 652d9d71130cd0fb117d320af884827f
rpmlib(CompressedFileNames) <= 3.0.4-1
ocaml(Cabs) = 1e1bfd30d21537d87599eb011b0c41e5
libc.so.6(GLIBC_2.4)(64bit)
ocaml(Cilutil) = b3169b2a51e3d8b04bd2bbbac0224488
ocaml(Map) = 971a915c5d6e79ba8c5a551e0767f582
ocaml(Nativeint) = 409308ec9d1a2ab99fa91fd0dfefca97
ocaml(Origin) = 58fb2ab88508988b08e7f8625833f5c4
ocaml(Hashtbl) = 9c86f7320512d6740a75017fd66156a8
ocaml(Jc_envset) = 5b74c155b9528b15e9843f08c17158c1
ocaml(Cil_const) = de8d81e46e4fac4c2ebfe137aae94418
ocaml(Cil) = eb043677d25cb522218adb86519e152a
ocaml(Ast_info) = c2ef9d3cce263471e9355033e1bb1500
ocaml(Obj) = 3aeb33d11433c95bb62053c65665eb76
ocaml(Jc_constructors) = ed6e50d819cd3ef618785922707e5a3e
ocaml(Visitor) = 1be276791c5254760dc0739ebd118f41
ocaml(Cil_types) = eb653a981baac62fb2201b46169023d7
ocaml(Scanf) = d7b5d0c4bd7ca9e180f113cbb292e7f2
ocaml(Unix) = 2a19929a535447ed0c8fc58ae3adc1a0
ocaml(Utf8_logic) = b141ac2357ebdcdbc03fc7ff95e17357
ocaml(Cvalue_type) = 289797af3e27799a5bef290d599f745f
libm.so.6(GLIBC_2.2.5)(64bit)
ocaml(Jc_env) = 18b171bf2f9be6bee66a4421c656d95c
ocaml(SlicingTypes) = 782fe16f742e2d25cf118de7f4455ab1
rpmlib(PayloadIsXz) <= 5.2-1
ocaml(Int32) = c91c0bbb9f7670b10cdc0f2dcc57c5f9
ocaml(Stack) = e34f7b4a9b277777b6383211fee496d4
ocaml(Jc_ast) = c904e432a24b4ed88e2d65df458963a2
ocaml(Num) = d2f7a25ebac813f3716d5843550449d8
why(x86-64) = 2.29-2.fc15
ocaml(Ident) = 90c209bef8c8d4664e1584d463904929
ocaml(Pp) = 32cf7bcdbe41203ddbcf7aa4add96363
ocaml(GrowArray) = 80c5d3b7aad51f12bbb46284d3a752eb
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
ocaml(Locations) = d0c1614458885fc3f276f56622c31978
ocaml(Ast_printer) = 147c80b9a37022bb3f9a84efd628fd62
ocaml(Weak) = f9e53791afaf51c7d247f9487709f695
ocaml(Cabs2cil) = 48ecfa0bf0f84adb13e5e649515badbd
ocaml(Big_int) = ef16c44153a41f60de69bff12d11ee35
ocaml(Pervasives) = db723a1798b122e08919a2bfed062514
ocaml(Printexc) = 07d69b04736fea2950e1b7819154d3f0
libc.so.6(GLIBC_2.7)(64bit)
ocaml(Queue) = 79fd3a55345b718296e878c0e7bed10e
ocaml(Bit_utils) = 6c1dfe40622272d79c7c27b4abc81505
ocaml(Format) = e0de312c23ff9caec6c5bfa1f44a43b4
ocaml(Filename) = bc87b0a21cde095f477cca1f0abb32b8
ocaml(PdgMarks) = cba0d0d054a2e6223a08765faf4b0134
ocaml(File) = 47acbaa9ca04d62b3f8d55faf2ad62c6
ocaml(Cabshelper) = 044ae513f690ac7c3925ac7cccff1552


Content of RPM :
/usr/bin/jessie
/usr/lib64/frama-c/plugins/Jessie.cma
/usr/lib64/frama-c/plugins/Jessie.cmi
/usr/lib64/frama-c/plugins/Jessie.cmo
/usr/lib64/frama-c/plugins/Jessie.cmxs
/usr/lib64/jessie
/usr/lib64/jessie/effect.cmi
/usr/lib64/jessie/explain.cmi
/usr/lib64/jessie/ident.cmi
/usr/lib64/jessie/jc.cmi
/usr/lib64/jessie/jc.cmo
/usr/lib64/jessie/jc.cmx
/usr/lib64/jessie/jc.o
/usr/lib64/jessie/jc_ast.cmi
/usr/lib64/jessie/jc_common_options.cmi
/usr/lib64/jessie/jc_constructors.cmi
/usr/lib64/jessie/jc_env.cmi
/usr/lib64/jessie/jc_envset.cmi
/usr/lib64/jessie/jc_fenv.cmi
/usr/lib64/jessie/jc_iterators.cmi
/usr/lib64/jessie/jc_noutput.cmi
/usr/lib64/jessie/jc_output.cmi
/usr/lib64/jessie/jc_output_misc.cmi
/usr/lib64/jessie/jc_pervasives.cmi
/usr/lib64/jessie/jc_poutput.cmi
/usr/lib64/jessie/jc_region.cmi
/usr/lib64/jessie/jc_stdlib.cmi
/usr/lib64/jessie/jc_type_var.cmi
/usr/lib64/jessie/lexer.cmi
/usr/lib64/jessie/lib.cmi
There is 11 files more in these RPM.

  
ICM