RPM Fedora 18 why-jessie 2.31 x86_64 rpm


	SEARCH

	NEW RPMS

	DIRECTORIES

	ABOUT

	FAQ

	VARIOUS

	BLOG

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

Name : why-jessie
Version : 2.31	Vendor : Fedora Project
Release : 3.fc18	Date : 2012-09-12 00:57:29
Group : Applications/Engineering	Source RPM : why-2.31-3.fc18.src.rpm
Size : 18.65 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/releases/18/Everything/x86_64/os/Packages/w

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl why-jessie-2.31-3.fc18.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)
ocaml(Why3_kw)
why-jessie
why-jessie(x86-64)

Requires :

ocaml(Logic_ptree) = 12a0a416ac8ddbfe35efa4abb2995dc5

ocaml(CamlinternalMod) = f571199efc0d92f0f1e7031910b37f38

ocaml(Cabshelper) = c1e9b1d8464a08a1ba1479fbcf470766

ocaml(Jc_env) = 18febd717ae1c135b7683c7043ab7c0f

rtld(GNU_HASH)

ocaml(Annotations) = 8b2e18bfaad5ff398155bcf614d50a22

ocaml(Map_common_interface) = 52f8092cfe368b917e9d1e1905e913b6

ocaml(Dynamic) = b5aaf31210a4d0ee324a329acdc82ae7

ocaml(Big_int) = 6ea0f5d18abf2406597321a99befa362

ocaml(Unmarshal) = 58e5380f5919facad0bcb8ed99ed3b0c

ocaml(Lazy) = be13470d54bbba2080e16d4f864ec34b

ocaml(Descr) = 13ea7f79c7e8f74ffcb351137c31a674

libapron_caml.so()(64bit)

ocaml(Stack) = 2680fb284a871de3a3cb68decbeb6c3f

ocaml(Obj) = ad977b422bbde52cd6cd3b9d04d71db1

ocaml(String) = 54ba2685e6ed154753718e9c8becb28b

ocaml(Lexing) = 7e306603bdda9b5b4c50d1aac8def12a

ocaml(Pp) = b5cc3f9b171eeb141466abb87514bb50

ocaml(Hashtbl) = 718cd6ce8bc18371ce22483e362f78b4

ocaml(Extlib) = 6d1f3956e2a26fa131845aaba9bd22c5

ocaml(Nat) = 08c67210c7d2a23c3baf31b40921b560

ocaml(Function_Froms) = 80f01f038ebbadbc928590ce4dc12674

ocaml(Lattice_With_Isotropy) = 07e86b2ca0c9eb83eec1cb63782e38e3

libpolkaMPQ_caml.so()(64bit)

ocaml(Visitor) = 3825cb3467e5f87b2a5a6e64ecb003b1

liboctMPQ_caml.so()(64bit)

libc.so.6(GLIBC_2.14)(64bit)

libc.so.6(GLIBC_2.3.4)(64bit)

ocaml(Log) = 8c31171c3388be821f4a922d32518eec

ocaml(Lmap_bitwise) = 8e327b4c8f2d2df46daa281cda792bdb

ocaml(Graph) = 147601f5993e2cbb257382fa7e0f3d9b

ocaml(Digest) = fc1ddbe7729c06f1551c4154795b3b6c

frama-c

ocaml(Base) = 2f4ba6afa918b59db036f0501107cdeb

rpmlib(FileDigests) <= 4.6.0-1

ocaml(Cmdline) = 578be776a85f489a4eac58890472614e

ocaml(Jc_ast) = bc8e7df22767e89229a74837599c14f9

ocaml(Project_skeleton) = 04e47e1f08f80d0a586df8e493b9c397

ocaml(State_set) = e566fa929c37c18ae2522f23a5962f61

libboxMPQ_caml.so()(64bit)

ocaml(Set) = a7bdd82abd2a5609c0242e51ef43cacb

ocaml(Lattice_Interval_Set) = 71970f86951ff628e2cac0158ae33d63

ocaml(Hook) = cd1ff9fe3968f0da3602322075188a4f

ocaml(Int_Base) = dc0977e9a1a7d3dab1050545756f56af

ocaml(Ast_printer) = 1041ab16b1e6d7e1b5ea2c2000f442c9

libc.so.6()(64bit)

ocaml(Jc_constructors) = 4d53b890500b0e08dd25a13ba55d47ab

ocaml(Format) = 6e6b7b75c544ef4ca673a763aec805af

ocaml(Bit_utils) = 8dc5c93dedacb30ea70f5005a06d1467

ocaml(Stream) = 85d259e9a37648998b6c03b551d68e46

ocaml(Cil_types) = c4fd7ce264a7b65524738707850c9316

ocaml(Config) = 51d441fd8de664b0ae3464fe8b19774f

ocaml(Abstract_value) = 68e37f7ce5d1c634655e6f6c229decfd

ocaml(Plugin) = 1beb7609a889103ba640b54d4abd0c76

ocaml(Origin) = 800ffc632647844a430676bd5361c287

ocaml(Effect) = fabbd2ad12eedd8e6ea994d40e657f9d

ocaml(Printf) = 10fca44c912c9342cf3d611984d42e34

ocaml(Inout_type) = 64088eb64eb1f2553b8914044b0b8d61

ocaml(Kernel_function) = cc6812a15ea33becd20384c029edf44b

libdl.so.2()(64bit)

ocaml(Sys) = 45d17525db422614c1cc84b2d9f27926

ocaml(Rc) = f2f6d52adf4ced70e9c065fcc8834631

ocaml(Unix) = b6bfdb83f38c665d97fc0f322923311f

ocaml(Property) = f9903f57550198a8367ee157e91b5da0

ocaml(Cil_const) = 6c087e34cbf76b7b66267e8f991c6a35

ocaml(Int64) = 0d5ecd8dffcffac43aec2ebe427d3bde

ocaml(Escape) = 46744b7d362d0357b364dff8f557e883

ocaml(Globals) = 4ca802fb5c8a5c5dbe111b9ab6f9a38f

libmpfr.so.4()(64bit)

ocaml(State_builder) = 1588da119346e48cf78c04e849736c4d

ocaml(Cabs2cil) = 2b0fbe3dcd99c71f6dc0f30d4543e538

ocaml(Map) = 1be6bb7484ad2000575776b38d423f2f

ocaml(Ast_info) = d0a2438c9aea48e9d2f3fa0a97bdeb26

libc.so.6(GLIBC_2.15)(64bit)

ocaml(Jc_envset) = b92677d7a5804440bc03764ffaf4af15

libm.so.6()(64bit)

ocaml(State) = e4e470102bae4bb5ae7900a5801e5603

libc.so.6(GLIBC_2.3)(64bit)

ocaml(CilE) = 45ae5bc8b7d092197f53410347051fda

ocaml(Jc_output_misc) = d34fe2b94987389868f0c35090c47078

libdl.so.2(GLIBC_2.2.5)(64bit)

why(x86-64) = 2.31-3.fc18

ocaml(Char) = 2693889a299a12395f3d4a288142de6d

ocaml(Logic_const) = 41d852efc8c305a4eaece1eabe6224ef

ocaml(Int32) = 265928798c0b8a63fa48cf9ac202f0ce

ocaml(Ratio) = b8c317f84aa07072a3ecac75898ac831

ocaml(Datatype) = eb7d63f42fc0552a93a8e84e1fcc780b

ocaml(Cvalue) = df308125686d3f3fcf6211b4bb30440b

ocaml(Utf8_logic) = a0faa5b3834a7b617dba8fc21707abcc

ocaml(Printexc) = 1576494623cf9d670883c0a9dde994ae

ocaml(Pervasives) = 4836c254f0eacad92fbf67abc525fdda

ocaml(Pretty_utils) = 70454b561906c71006a7c15af8115c9e

ocaml(Buffer) = 3f6c994721573c9f8b5411e6824249f4

ocaml(SlicingTypes) = 26a375950b5599a0bceafe5c13515b2f

ocaml(Parameter) = 5bf9e177e6fb28641ab5f7f7113b01ac

ocaml(Printer) = 1505aab1636cce4cd162598646b0ed0f

ocaml(Db) = 7d5031da600bb252b3ad4691868b1e18

ocaml(Emitter) = 1205a204b493d0e647c8beb3a13d45ef

ocaml(PdgIndex) = f7711c38a99515db3dd2fe22a715c460

ocaml(Offsetmap) = daef1d009c4efe6547cb60338a48ddbd

ocaml(Property_status) = 71525324481738d461be70f55d010771

ocaml(Num) = dc3dc81a9bf6c00fd6ed8ea8b9243eb6

ocaml(Abstract_interp) = 5eb85e1d27f287fbea07b23694a8fb0a

ocaml(Jc_common_options) = d7142ee5c1a9947d97787ad81e86c156

ocaml(Locations) = a7923d34357fbcf8933414e968e72b30

libgmp.so.10()(64bit)

ocaml(runtime) = 4.00.0

libc.so.6(GLIBC_2.2.5)(64bit)

ocaml(Logic_env) = 52fff568e8da39e6aebb3a418d174028

ocaml(Structural_descr) = 4fcbd60fa5cc9f0ebeccb5af0e5c45b8

ocaml(Queue) = 9e4770869a4e57f5db312d7fdd5e6810

ocaml(File) = db29abc80734ab14f57c2d998b38ac77

ocaml(Type) = e45253339e464a1c3bb5fdc08409d2ef

ocaml(Hptmap) = 080bb5fee43457fce83264fae40faaee

ocaml(Jc_type_var) = 63838c12299847138af5b61330ed6ccf

ocaml(Hptset) = 6484119bc7e94783b53f0433ed2cc2b7

ocaml(Cil_datatype) = 41ffa4c13f7e5b3732c89605d56ee2f2

ocaml(Scanf) = 6ba1a49186bb3df3bb5fad3a9e7fe3da

ocaml(Buckx) = 2d95db84b81266bc640df195bd17e21e

rpmlib(CompressedFileNames) <= 3.0.4-1

ocaml(Cil) = 108e4d2660a360e6327279526c12404f

ocaml(My_bigint) = 06e0cfaf44f4e2e6ffb9592c75aad18f

ocaml(State_selection) = d37c2086c1308d645f2eee31ccb2cafe

libc.so.6(GLIBC_2.4)(64bit)

ocaml(Kernel) = d43172466c802d853b56769b7b15f443

ocaml(Nativeint) = ba4724e629401070e29f0b6863f08b24

ocaml(State_dependency_graph) = f5c4c8675ffc809dcb72e19049d4ef07

ocaml(Filename) = db19aeb2a8d7e9bd0f4c54d51c6a433e

ocaml(Cilutil) = ea338641d08e90b59af816212aab55dd

ocaml(Array) = 4d5efba91ec70acd7b184fd4b277708c

ocaml(Option_misc) = 2711e6d5485abd61fe4ff1b2ab8189ec

ocaml(SlicingInternals) = ae9f4c9ecbb01bfae94e00880f4bdd89

ocaml(Logic_utils) = cbb4cfdc151fd19ab73b471d072eab59

ocaml(Jc_region) = 887b7beb8ad955cdff3e9c3b27552e1a

ocaml(Ident) = 61d1e4e4ccf2acf8ab456b8f0e272f50

ocaml(Dashtbl) = c12afd72c71a30c034d80af491cd2a01

libm.so.6(GLIBC_2.2.5)(64bit)

ocaml(PdgMarks) = 2e3d88c44bab30fcd306eb6d706ca16b

ocaml(Cabs) = 38845236aaef34a676925b060ba5918b

rpmlib(PayloadIsXz) <= 5.2-1

ocaml(CamlinternalOO) = 8de55d11b771c63f6270c707c3c0f81b

ocaml(Jc) = 9153b42a9c2cde7f5159d0922ab9e590

ocaml(Weak) = 6ec9ee0b4d14b6d1f8c2003f9d9711af

ocaml(Jc_stdlib) = ccf2a72e009e55410083160f3537d763

ocaml(Arg) = 0912ae37a27d2d7d1889fb5c072b7f05

ocaml(List) = bd7c662c09e850306a62c12fed5ef5ce

ocaml(Jc_fenv) = 11d019a08cde4af25a727f4b3514bc75

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

ocaml(PdgTypes) = 5ed20d4e283c560371cc4688e888616a

ocaml(Jc_poutput) = 06c05124af6c95f2864f230c53f61b64

ocaml(Inthash) = 063b7335ee7c1954ebeb682f3f7c0ef0

libc.so.6(GLIBC_2.7)(64bit)

ocaml(Ival) = 9eed2f65bc8bbbae5ac9e933da9c826f

ocaml(Jc_pervasives) = 4c00d9d0fc0bddf3cc8e02609fc4933a

ocaml(Parsing) = 84c5e080da20d6d3141c52120783d359

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 12 files more in these RPM.

ICM