RPM Fedora 16 why-jessie 2.30 i686 rpm


	SEARCH

	NEW RPMS

	DIRECTORIES

	ABOUT

	FAQ

	VARIOUS

	BLOG

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

Name : why-jessie
Version : 2.30	Vendor : Fedora Project
Release : 4.fc16	Date : 2012-01-12 00:12:43
Group : Applications/Engineering	Source RPM : why-2.30-4.fc16.src.rpm
Size : 14.38 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/16/i386

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl why-jessie-2.30-4.fc16.i686.rpm

Search for other platforms
why-jessie-2.30-4.fc16.sparc.rpm
why-jessie-2.30-4.fc16.alpha.rpm
why-jessie-2.30-4.fc16.ppc.rpm
why-jessie-2.30-4.fc16.ia64.rpm
why-jessie-2.30-4.fc16.s390.rpm

Provides :
Jessie.cmxs
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-32)

Requires :

ocaml(Rc) = 87e78e1b6f14b0a41f3cc3d9de442763

ocaml(Digest) = 84cddf85614815250d98d54ec13705b1

ocaml(Inout_type) = fb6cdea0028c4dccc2cabadcc7138a91

ocaml(Lattice_With_Isotropy) = ea73f303fd4f0ab5ca8c9db9d4156818

libdl.so.2

ocaml(Logic_const) = b75dbb2f0970598ef193c1e1d700fac3

rtld(GNU_HASH)

ocaml(Cvalue) = 07c46492e70f63c510f72bc135add92e

ocaml(SlicingTypes) = 925293efdfeeb1f801f1c8165e46ba1a

ocaml(Jc_poutput) = 1cce73b491171309ed3da04bd65cf1fa

ocaml(Parameter) = aa6642a36e3b683dbc6cc1ad400043c1

ocaml(Ival) = 813d03be928bac20197dafc69f982aec

ocaml(Emitter) = 80039e48f3ed5a8365acb3ae68b045fe

ocaml(Ast_info) = 1e81c2bca80304448e36bf2e3e887102

libm.so.6

ocaml(Locations) = 285941d38d9f891907c7c307d59a6075

liboctMPQ_caml.so

ocaml(Int_Base) = dd712636f266cae8a2decdc3190258c6

ocaml(Logic_env) = d06ee6daa97803c2eae4469415f9c553

ocaml(Base) = 846c691c334ab0319378fdee642aa166

ocaml(Plugin) = 5f5c3f48268fde01400faa5d98296d55

ocaml(Lmap_bitwise) = f7728e0c85061f2cdcfc8a0eaa3f4c74

why(x86-32) = 2.30-4.fc16

ocaml(Property_status) = 319d0f88db6e44b80a51f45eebbeb93c

ocaml(Visitor) = dee44236f169a08bd817b9f2d707b963

ocaml(CilE) = 34f312f46b655390ee0d7ec0a80af4f2

libgmp.so.3

ocaml(Nat) = 7ab8ce32b152977f693920f75bf5b3dc

ocaml(Stream) = cc2abcbdc5423e35862902ae0a0a4a7d

ocaml(Cmdline) = 00e01e15763c5d11949e68f4e62bd613

frama-c

ocaml(Cabshelper) = 8cb08d1d57dd16f24379acf4cc2881b2

ocaml(PdgTypes) = ff955fed74a2442f0dca8db15973f7e2

ocaml(Function_Froms) = b176d60059f59e8ee862bc74fea07421

rpmlib(FileDigests) <= 4.6.0-1

ocaml(Ratio) = caeed63c8c14ba6509a034cae837850a

ocaml(PdgIndex) = 809be6c02d63a9d0cf8424abb04137c6

ocaml(Cabs2cil) = 53c0d915c21ee025e046b24039124322

ocaml(Char) = 3dee29b414dd26a1cfca3bbdf20e7dfc

ocaml(Set) = 7b178c9cf52b5cb8145441e1a0d309f5

ocaml(Jc_output_misc) = 929d1f9b31e2663a161788142ed02e4e

ocaml(CamlinternalOO) = 9cf8941f15489d84ebd11297f6b92182

ocaml(Db) = 34fa0e4d5682126330891ed90cb658df

ocaml(SlicingInternals) = 026f4099e461909437457d490998ccbd

ocaml(Datatype) = fb4fff317fe1f7d0ecd4c3bcff83382e

libc.so.6

libc.so.6(GLIBC_2.3.4)

ocaml(Printf) = 55250c391e05a095d3696890d0d554a2

ocaml(CamlinternalMod) = 2fb257bba37244d762abd2549489e493

ocaml(Inthash) = 60b13a59dc36dc27e54a560a8e88bfaf

libdl.so.2(GLIBC_2.1)

ocaml(Unmarshal) = 208b7e570edf17b35e3041b3355fb7d1

ocaml(Project_skeleton) = d146c5de807e8c0ba416a875a36bba09

ocaml(Log) = 32c76a1c71ca9bcb677e984aa0a47f38

ocaml(Graph) = 31f3c8925974c9243c5d19949a52bba2

ocaml(Effect) = 6cbd82f35270bb55e0a8195f9e67b3fa

ocaml(Buffer) = 40bf652f22a33a7cfa05ee1dd5e0d7e4

ocaml(Descr) = 946123e738d50e4afd020c132ba01fa8

libc.so.6(GLIBC_2.4)

ocaml(runtime) = 3.12.0

ocaml(State) = 918d4524461099e083b96ba150bfe42d

ocaml(Arg) = 877340141c0babb58b3aaef2f5b70fc9

ocaml(String) = 06ab5e6944c47322b9d305c0aa0b07ff

ocaml(Bit_utils) = c7d0de039cff9f1d26e12ad51da5df01

libc.so.6(GLIBC_2.7)

ocaml(Kernel_function) = b700cca1416e2f2ed38ea77f6e55fa26

ocaml(Abstract_value) = 0e7c5170834ba29a08b8846357bbb697

ocaml(Dashtbl) = e286735b1e6d3a744bc7f9c9c1838f65

ocaml(State_set) = 2e37d86c8ded5abe1f0cd938dbb972ec

libc.so.6(GLIBC_2.1.2)

ocaml(Cil_datatype) = c12ff7301cf2877e87b440c2bba10703

ocaml(My_bigint) = 62b5e1a336e163d3517007db7da88653

ocaml(Logic_utils) = eaa0c3b638369d9aa53fa5af505e58a4

ocaml(Jc_pervasives) = 5c34e4834e4a0b6993963b3a98997289

ocaml(State_dependency_graph) = 3622535606231ab11dc5326cbc58d956

ocaml(Jc_fenv) = 1ccc613ad9d08e34b85b5c8a37e7f80d

ocaml(Type) = 69e7862448745d98f89125551e73421c

ocaml(Jc) = 62ec490253f94f6b0e3977f6afb670b1

libm.so.6(GLIBC_2.1)

ocaml(Sys) = 4fe60c54d4de0672924c1d4ee2053e46

ocaml(Cilutil) = c833cdb41ecd87ff01d61f06a78aaf37

ocaml(Jc_stdlib) = 08491dc1669680b2ee48e42914f60235

ocaml(State_builder) = 729de49b16a666823f22d8d0a1a20f58

ocaml(Option_misc) = c186523614c1d1492b03b49c4de6d47f

ocaml(Hook) = 7e2c50173b382a0e6a2d4c079e1a35aa

ocaml(Cil_types) = 59489e65c5461ec1c852d9360d18ec8f

ocaml(File) = bc825e01f0ca82a9cfc133c731716b8f

ocaml(Property) = 01a31f843d54154f48a881e8ae9e5e53

ocaml(Hptset) = 6f3228e9cd42d28713ca0d72e66c58ea

ocaml(Globals) = 79dafce5ce2ebcbfdc6c7f71bd462cc9

ocaml(List) = 9c85fb419d52a8fd876c84784374e0cf

ocaml(Jc_common_options) = 928125a631dac948a68d9fd75cebde9f

ocaml(Logic_ptree) = 833561d076e160f7449b16e52f82014b

ocaml(Int64) = 8f09e1331fe8af2d7b954585551cbe4f

ocaml(Jc_region) = 77a7ede4216f2c6d2c2a54725f4b0744

ocaml(Config) = f871c5ddfc7dc8f084cd4c6c5a266414

ocaml(Lexing) = 7d5623c54d065ad3f652261d2776959c

libc.so.6(GLIBC_2.1.3)

ocaml(Array) = 720848e0b508273805ef38d884a57618

ocaml(Escape) = cca439a0229095c6463e325ba32f59bf

ocaml(Ast_printer) = 51c158c7eefe5eb746c9eb990aaef6c5

ocaml(Parsing) = 59e1db94d28f5c920aaddc6ba25fb659

ocaml(Annotations) = 33d5a8bcbcfa8dfc94ce5e897a941cba

libc.so.6(GLIBC_2.2)

ocaml(Cil) = 14d5e2b714cb6f85d658943cb3437a6d

ocaml(Jc_type_var) = 33c16759e60b69f0051958c0e7b50aff

ocaml(State_selection) = 1b0d756a5e850e1bfb459fd8767d55db

ocaml(Extlib) = 707682c8086f3d56c82ef99de962127a

ocaml(Offsetmap) = 904946181c953c8f1a69176fe1ff29ef

ocaml(Kernel) = a30f61083c0895b29ac90f7c712de263

rpmlib(CompressedFileNames) <= 3.0.4-1

libboxMPQ_caml.so

ocaml(Cabs) = 1e1bfd30d21537d87599eb011b0c41e5

ocaml(Map) = 971a915c5d6e79ba8c5a551e0767f582

ocaml(Nativeint) = 409308ec9d1a2ab99fa91fd0dfefca97

ocaml(Structural_descr) = f7cf296016738b306e76356b365d4d7e

libpolkaMPQ_caml.so

ocaml(Hashtbl) = 9c86f7320512d6740a75017fd66156a8

ocaml(Jc_envset) = 5b74c155b9528b15e9843f08c17158c1

ocaml(Obj) = 3aeb33d11433c95bb62053c65665eb76

ocaml(Jc_constructors) = ed6e50d819cd3ef618785922707e5a3e

ocaml(Printer) = bb17dd92ad1d639ecb8c30858fffcf54

ocaml(Scanf) = d7b5d0c4bd7ca9e180f113cbb292e7f2

ocaml(Unix) = 2a19929a535447ed0c8fc58ae3adc1a0

ocaml(Utf8_logic) = b141ac2357ebdcdbc03fc7ff95e17357

ocaml(Buckx) = 5d385c9b3356a541f4a6173ccdfa0ea7

ocaml(Map_common_interface) = ec5f73064fcd263e31e372394c8a5582

ocaml(Jc_env) = 18b171bf2f9be6bee66a4421c656d95c

rpmlib(PayloadIsXz) <= 5.2-1

ocaml(Stack) = e34f7b4a9b277777b6383211fee496d4

ocaml(Int32) = c91c0bbb9f7670b10cdc0f2dcc57c5f9

ocaml(Jc_ast) = c904e432a24b4ed88e2d65df458963a2

ocaml(Num) = d2f7a25ebac813f3716d5843550449d8

ocaml(Cil_const) = 2332de45e2141947934bf507bdec4d30

ocaml(Ident) = 90c209bef8c8d4664e1584d463904929

ocaml(Pp) = 32cf7bcdbe41203ddbcf7aa4add96363

ocaml(Hptmap) = a2ba23a164fd67b11a3eb119ef1e248f

libmpfr.so.4

libc.so.6(GLIBC_2.0)

libapron_caml.so

libdl.so.2(GLIBC_2.0)

ocaml(Abstract_interp) = d51f87cc3646699d947ed05127ffa991

ocaml(PdgMarks) = f338c064fe59e303c3e7e08a788e2d6c

ocaml(Lattice_Interval_Set) = 5753add9f71807df1641ed3dacab56de

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

ocaml(Weak) = f9e53791afaf51c7d247f9487709f695

libc.so.6(GLIBC_2.3)

libm.so.6(GLIBC_2.0)

ocaml(Big_int) = ef16c44153a41f60de69bff12d11ee35

ocaml(Pervasives) = db723a1798b122e08919a2bfed062514

ocaml(Printexc) = 07d69b04736fea2950e1b7819154d3f0

ocaml(Dynamic) = 3fad7aa531481a680e5642f3b618331c

ocaml(Queue) = 79fd3a55345b718296e878c0e7bed10e

libc.so.6(GLIBC_2.1)

ocaml(Lazy) = aaa46201460de222b812caf2f6636244

ocaml(Origin) = 85a7cc9061f537f0ea495369ec7d6d43

ocaml(Pretty_utils) = bb376e2fbfae421f1d56143976f7629e

ocaml(Format) = e0de312c23ff9caec6c5bfa1f44a43b4

ocaml(Filename) = bc87b0a21cde095f477cca1f0abb32b8

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

ICM