RPM Fedora 23 why-jessie 2.35 x86_64 rpm


	SEARCH

	NEW RPMS

	DIRECTORIES

	ABOUT

	FAQ

	VARIOUS

	BLOG

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

Name : why-jessie
Version : 2.35	Vendor : Fedora Project
Release : 7.fc23	Date : 2015-06-23 00:25:32
Group : Applications/Engineering	Source RPM : why-2.35-7.fc23.src.rpm
Size : 16.44 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/23/Everything/x86_64/os/Packages/w

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl why-jessie-2.35-7.fc23.x86_64.rpm

ftp.icm.edu.pl why-jessie-2.35-7.fc23.x86_64.rpm

Provides :
appdata()
appdata(jessie.appdata.xml)
application()
application(jessie.desktop)
ocaml(Jc)
ocaml(Jessie)
why-jessie
why-jessie(x86-64)

Requires :

ocaml(Project) = 5408f38ff2c22ea55967114abfd249be

ocaml(Hashtbl) = bb8e269d690301a1c4ff14a08e96e83e

ocaml(Printer) = b50d5deabd6165cf09e75ebfbafc5505

ocaml(Ast_info) = 35492f6f3afea20aea70fbed208d8f55

ocaml(State_selection) = 2bb31e56877d60cdfde412946d6ed5fb

rtld(GNU_HASH)

ocaml(FCMap) = 828d6319ddfd0ce9ae2341285250ae00

ocaml(String) = 9cb286f2c4569fd32c379b1a05c7b590

libapron_caml.so()(64bit)

ocaml(Unmarshal) = e60820e1026e7b6d748a76ba1ec4d13a

ocaml(Property_status) = 36b53a0c52b09c4d0d6086499fdd15ee

ocaml(Typed_parameter) = 35c7a236620cb3b723f0c4744ae7cf14

ocaml(Cabs) = 83479926e905e088c45748e55ff39f73

ocaml(Scanf) = 31f1631ff7e3da78eabf4b08e91d2861

ocaml(Jc) = f5c2954534f0362eb9bed5cfcf1aabef

libpolkaMPQ_caml.so()(64bit)

ocaml(Num) = 13c240f21464d6d07eee82c0eb67e515

ocaml(Cil_types) = a28b8163c1b9672e2cbfdea34ef0c707

ocaml(PdgTypes) = acaa290170b1e949e43816c0c4154595

ocaml(Descr) = 024fb187c8973cd99e9b91daefa111d3

ocaml(Config) = e21278138acfaee220f0c5e8c33f3d63

liboctMPQ_caml.so()(64bit)

ocaml(Lmap_bitwise) = 895587d34631b84ff76b6eef6c4b54f4

ocaml(Offsetmap) = 774ba36cc2c2ba81c51298cd2e7b4258

ocaml(Log) = 35237d46f335c6cb52b1485557208ee2

ocaml(Parameter_sig) = a5c570f93569217956e1225c91109458

ocaml(File) = c4350ad40858e330c56c62b5675adfc1

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

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

ocaml(Printexc) = fb616c60404add6295347001c01bfcaa

ocaml(Int_Intervals_sig) = 392cecc524f1f67c1fa21f8e8fefb4c6

/bin/sh

ocaml(Datatype) = 39ec44f007a108ae1169d49408ff43b6

frama-c

rpmlib(FileDigests) <= 4.6.0-1

ocaml(Type) = 955550be75c620277f167406f901592b

libboxMPQ_caml.so()(64bit)

ocaml(Buffer) = a579f4a57e300ec755f84af883c1e51b

ocaml(Hook) = f455badfce81f3dd932408dda16313e5

ocaml(Format) = 61d4350242b30078d3ad96c904c9f7a1

ocaml(Printer_api) = 287a8e52c47d49b3ea4223dfa92105cc

ocaml(Abstract_interp) = f4b8acc70f3abb3e9a8bc31ad70f0973

ocaml(Visitor) = a3a91e896de5db512e3c511993774d9c

ocaml(SlicingInternals) = 84d1b54de00190afdcd0194fa8561195

ocaml(Obj) = 8b014ec57a472d9f3922b63e5de9d1f2

libc.so.6()(64bit)

ocaml(List) = 8988208489274193e4e3f69dc6ec2f75

ocaml(Digest) = eab54f58b34b8a6fdc763db6966614a1

ocaml(runtime) = 4.02.2

ocaml(Set) = 487197ccd2fea64d52f1cd917061caf2

ocaml(Queue) = 06a89c77a23c672d34cb97e6dfc5f30d

ocaml(Lattice_type) = 45bca459f809cdf15a867c4ffef92d09

ocaml(Cabshelper) = a69f39be8419998ff69dedd8eff371b5

ocaml(Annotations) = d1135379f9892086fc35c9a156840cf0

ocaml(Pretty_utils) = ac710d941f2005bb1ca75e76e487b546

ocaml(Hptset) = 690a32c793d1d9fd554f3b86afbdfe8c

ocaml(Lexing) = 1be6a5484fb3cfb69d2c981438a7be62

libdl.so.2()(64bit)

ocaml(Parameter_state) = 9d191878ccc022bc5b6c0f9be1a1328e

ocaml(Pervasives) = 0d015a5a2136659b0de431be7f1545be

ocaml(Project_skeleton) = 1ddcea44310a972cd4cb32cb7c3087b4

ocaml(Lmap_sig) = 5474f73ca1924ff57bd5c395e9f7360a

ocaml(Cil) = 85c3668ead6d9626c73a004185549dd3

ocaml(Int_Intervals) = c7c7a257549dcdc0544b27fc123f70b4

ocaml(State) = 748ad28ffdded63a1db6dcaac9c4afed

ocaml(PdgMarks) = a26108a4b05ecb43695ba739307a2c87

ocaml(Ival) = 5cbeb112bc0cab7886fd70f3cfc28b43

ocaml(State_builder) = 204970244ec169a367d21dbed6efb15a

ocaml(Kernel_function) = 00e3c42105458f987adf484aece657e3

ocaml(Dynamic) = 8b0172b48e6f15cb3894a28f15ef7b08

ocaml(Escape) = 0a7a8f241c5cc983a8faf185e94e5835

ocaml(Map) = 770e6123e5460eeb42d3050f13c5ad53

libmpfr.so.4()(64bit)

ocaml(Cmdline) = f54c237497291a4e8c7035631b40b6d3

ocaml(Precise_locs) = 5f8ea0587e8d4da9b3e4011173450d5c

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

ocaml(Logic_const) = 210c37b090edffd7998b3ab838f9495d

libm.so.6()(64bit)

ocaml(Printf) = eb49a17645c5ea2dd298430a3c986186

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

ocaml(Arg) = 1a93c52516966fe6a58564a4c4d9e4fa

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

ocaml(Int_Base) = 1dd25222a94cd97011eb4c8f4959d0f7

ocaml(CamlinternalMod) = 38ea0fc3a256fe9392f5842b1e24120d

ocaml(State_dependency_graph) = 3449167dcaef220b73949c407b602733

ocaml(Stream) = 55948988e71c3ee1749feb21ccec9fc9

ocaml(CamlinternalOO) = 3d0b4eb4525ba4274c8885d7124f7bbc

ocaml(Origin) = f1e9d7215285e1bbee11d54eb4bcb316

ocaml(Value_types) = 61c2efeea76300533116c46211d3869d

ocaml(Db) = 0f3889394182561253d2ea32b2d76836

ocaml(Parsing) = 4f8cd2d8537563c7ea7ee2e5dc94e427

ocaml(FCSet) = 49a039466f90ec47e862db34825cc874

ocaml(Function_Froms) = 98f6dca8fe8d829afd5fd0ebffef4746

ocaml(Graph) = 0c926b8dcee662a3752fc19da4bb57ad

ocaml(Utf8_logic) = 228a2514b0abc8cb640aa2292fe468e1

ocaml(Emitter) = 71bc2ef6694319cd30f0694ed90401b6

ocaml(Logic_typing) = 5cdac08e43a79987a0a943b017c54a2d

ocaml(Offsetmap_lattice_with_isotropy) = 1f4da061dc2a8f292915b6fae740bd27

ocaml(Offsetmap_bitwise_sig) = 7157a61eafd532a7c26f35e0f06a1fcc

ocaml(Inout_type) = 3aa90264b530a0add83c7735b585096e

ocaml(Offsetmap_sig) = d6484d872234a0cebec4ac7181a4ddc8

libgmp.so.10()(64bit)

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

ocaml(Sys) = 0ce699458ce4430954d7e6a78874647c

ocaml(Lazy) = 7dba0bf02f60e5ff44e9e4057263f28d

rpmlib(CompressedFileNames) <= 3.0.4-1

ocaml(Structural_descr) = 7b09a3115c40c05e26bbe61c7a1f4b67

ocaml(Stack) = 3397768ddbaaa5d9fe72a4c82cdc6eb9

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

why(x86-64) = 2.35-7.fc23

ocaml(SlicingTypes) = ac3fce0c7519f687bbf6e41d3d38bbe6

ocaml(Cil_datatype) = 72dd5033bf71a30a2ff4d530949f25de

ocaml(Extlib) = cdb075f9a6ed58376703134a2a0cb5db

ocaml(PdgIndex) = 0c8c1740c23fc6a5a22096cf472c30c9

ocaml(Hptmap) = 0416e7013d8364b4bf31b3cbe7416131

ocaml(Array) = ae800d8cf9903f1d36856950940430e6

ocaml(Int32) = f43b8a2972804b40e28b661b6fdf157a

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

ocaml(Logic_env) = c8ecc7ad61136e728a63d72556c62940

ocaml(Cabs2cil) = 4d84aaa3d404cc14103f1ca511efce08

ocaml(Int64) = 3565b288ec68024088360805650448dd

ocaml(Kernel) = 5775ef4a6d7f2b3082d9c2fcc25f32dd

ocaml(Integer) = bdb7d140cf29e1e5828a05426ffa0f95

rpmlib(PayloadIsXz) <= 5.2-1

ocaml(Plugin) = 89102dda0e11e998136286ed486d7225

ocaml(Logic_ptree) = 224a152ce9b69028f9f11325c7612694

ocaml(Nat) = 686f2f8952dd9baa88dd4347c14ba219

ocaml(CamlinternalFormatBasics) = 8b069fca1e4d9316b588e5554f38bb24

ocaml(Cvalue) = 47a49fafa6ff3c378f71b583aab11935

ocaml(Unix) = 30a4cc8e5f4f902ea609c91caec48af7

ocaml(Locations) = a0d2480199baddcb954bedce41fad25c

ocaml(Char) = 60fd98ba6ff303baf9287e7bfb886f12

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

ocaml(Ratio) = bec23091493c17e21a6e5e43114645b1

ocaml(Weak) = 441c40816fe88175926465199a665458

ocaml(CilE) = c1c97d23c0813c180c17de866615fa81

ocaml(Logic_utils) = 506b68f24cf7eb29ddc66f28d9768def

ocaml(Property) = 78439bbd28333425d20fa8721011ed9c

ocaml(FCHashtbl) = 794691e68e2dce32e89b11ef8b6d7d50

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

ocaml(ListLabels) = f9c893b10648fae8e31ad7bfcd64248f

ocaml(Base) = b25a90a263ca6a30eed84b27a72698c8

ocaml(Globals) = 8fef41a3e7803c5df8cc3940ac7b6232

ocaml(Cil_const) = bd2f7eff333f1ae03a3f965e04107ed7

ocaml(Big_int) = 05cfd3c522fa6f81e61795896e13f82c

ocaml(Nativeint) = d9e04753374f7110b66feda40414e5e3

ocaml(Parameter_category) = b2194d537b05947b938daf5a705126f4

ocaml(Filename) = 3817bec1dad20c6f594d3a85b13020b8

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/share/appdata/jessie.appdata.xml
/usr/share/applications/jessie.desktop

ICM