SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : why-jessie
Version : 2.35 Vendor : Fedora Project
Release : 14.fc24 Date : 2016-04-22 22:35:29
Group : Unspecified Source RPM : why-2.35-14.fc24.src.rpm
Size : 15.95 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/24/Everything/x86_64/os/Packages/w

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why-jessie-2.35-14.fc24.x86_64.rpm
     

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

Requires :
/bin/sh
/bin/sh
frama-c
libapron.so.0()(64bit)
libboxMPQ.so.0()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.15)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_2.7)(64bit)
libdl.so.2()(64bit)
libdl.so.2(GLIBC_2.2.5)(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
libmpfr.so.4()(64bit)
liboctMPQ.so.0()(64bit)
libpolkaMPQ.so.0()(64bit)
ocaml(Abstract_interp) = 6c8cce0b9798d1d6e7c6cc0c17df08c0
ocaml(Annotations) = 511c2c684d7725b7105c77be6c5864c1
ocaml(Arg) = 1a93c52516966fe6a58564a4c4d9e4fa
ocaml(Array) = ae800d8cf9903f1d36856950940430e6
ocaml(Ast_info) = 1510b48317c5568956db106a70e44bd5
ocaml(Base) = c532c7041c2bee243b31ef2670c5f362
ocaml(Big_int) = 05cfd3c522fa6f81e61795896e13f82c
ocaml(Buffer) = a579f4a57e300ec755f84af883c1e51b
ocaml(Cabs) = 83479926e905e088c45748e55ff39f73
ocaml(Cabs2cil) = 4d84aaa3d404cc14103f1ca511efce08
ocaml(Cabshelper) = 5767547836a644c28060d39750fd1f3a
ocaml(CamlinternalFormatBasics) = 8b069fca1e4d9316b588e5554f38bb24
ocaml(CamlinternalMod) = 38ea0fc3a256fe9392f5842b1e24120d
ocaml(CamlinternalOO) = 3d0b4eb4525ba4274c8885d7124f7bbc
ocaml(Char) = 60fd98ba6ff303baf9287e7bfb886f12
ocaml(Cil) = 298ed71aaed5cd34b2d785382739a738
ocaml(CilE) = 247a9acace1c7c0c89394de104cd7244
ocaml(Cil_const) = 15f7f3a0568723b345b628a5b24d7482
ocaml(Cil_datatype) = de5666c214b1d5e80b8f36bf9a86b358
ocaml(Cil_types) = 35fb3519f0c2810f58abea8fe9f92528
ocaml(Cmdline) = 2957559ff4d06f8643e200b9b8a9da25
ocaml(Config) = d829436759fba7e6c1f3c365592eee6a
ocaml(Cvalue) = d7f7b169f8e85b17b46681b002227ba4
ocaml(Datatype) = 39ec44f007a108ae1169d49408ff43b6
ocaml(Db) = 0519cebbb3183ef612282991c0551944
ocaml(Descr) = 024fb187c8973cd99e9b91daefa111d3
ocaml(Digest) = eab54f58b34b8a6fdc763db6966614a1
ocaml(Dynamic) = fae2495d1b6d54e54fff347edb07341e
ocaml(Emitter) = 0fe2652d2de5704c7eb2c0d5753bd614
ocaml(Escape) = 0a7a8f241c5cc983a8faf185e94e5835
ocaml(Extlib) = 36ade32e6c53abc6178030b2dc34ff99
ocaml(FCHashtbl) = 794691e68e2dce32e89b11ef8b6d7d50
ocaml(FCMap) = 828d6319ddfd0ce9ae2341285250ae00
ocaml(FCSet) = 49a039466f90ec47e862db34825cc874
ocaml(File) = c4f7ec184970637b33c1c31d2a2a700f
ocaml(Filename) = 3817bec1dad20c6f594d3a85b13020b8
ocaml(Format) = 61d4350242b30078d3ad96c904c9f7a1
ocaml(Function_Froms) = 220227599bc93a68e386a586b811c41e
ocaml(Fval) = 233a158f10e7603448661c57170d94e1
ocaml(Globals) = d1e4c387df8634d4b705c922e2f4eb68
ocaml(Graph) = 40d1a4c3bdde8cd2ae9e426eea061716
ocaml(Hashtbl) = bb8e269d690301a1c4ff14a08e96e83e
ocaml(Hook) = f455badfce81f3dd932408dda16313e5
ocaml(Hptmap) = 464fd8dc9d0ff28c53ae787fd46f00e9
ocaml(Hptmap_sig) = bf7c3e7d237756dc1e2b07eb2ea211e7
ocaml(Hptset) = b2de935d5e2bd69cee959aab0fab131a
ocaml(Inout_type) = 2dabe3280565d8fb12535a4f179b484c
ocaml(Int32) = f43b8a2972804b40e28b661b6fdf157a
ocaml(Int64) = 3565b288ec68024088360805650448dd
ocaml(Int_Base) = 1dd25222a94cd97011eb4c8f4959d0f7
ocaml(Int_Intervals) = 9b4b54d50d19ad49536d026e4ad8aaf1
ocaml(Int_Intervals_sig) = 8bb29d561b99058104643754d82a66d5
ocaml(Integer) = 4584e7105c04e8382981e057db28aa17
ocaml(Ival) = 554eb4a2d746c83b7ba0298540c70620
ocaml(Jc) = f5c2954534f0362eb9bed5cfcf1aabef
ocaml(Kernel) = 92b6f2d330de5149e31a16ab0a1d3032
ocaml(Kernel_function) = 4abb172f15af9d730216c1f6a17fceb0
ocaml(Lattice_type) = 504c95b027d2b76a1bff7e9f216eb25c
ocaml(Lazy) = 7dba0bf02f60e5ff44e9e4057263f28d
ocaml(Lexing) = 1be6a5484fb3cfb69d2c981438a7be62
ocaml(List) = 8988208489274193e4e3f69dc6ec2f75
ocaml(ListLabels) = f9c893b10648fae8e31ad7bfcd64248f
ocaml(Lmap_bitwise) = c85ef2824dcd815b1cac4b4f01ea9157
ocaml(Lmap_sig) = 9e8940631ac92f02f1aab4b68b8b1b17
ocaml(Locations) = ecec97c191aa40a251a78ccf7e5e0d80
ocaml(Log) = a7cd59321890742fdf790823fc640199
ocaml(Logic_const) = f55059c5320379c4c62f28edc997c13e
ocaml(Logic_env) = 1f034f20911d5086e4f8be426243f266
ocaml(Logic_ptree) = b1fb7aebbe8d521645a79380388448d6
ocaml(Logic_typing) = e03b087bbd69eab0d28561e1c494e19c
ocaml(Logic_utils) = 9b9ec3f6f229f3c791cd46e86a38a443
ocaml(Map) = 770e6123e5460eeb42d3050f13c5ad53
ocaml(Nat) = 686f2f8952dd9baa88dd4347c14ba219
ocaml(Nativeint) = d9e04753374f7110b66feda40414e5e3
ocaml(Num) = 13c240f21464d6d07eee82c0eb67e515
ocaml(Obj) = 8b014ec57a472d9f3922b63e5de9d1f2
ocaml(Offsetmap) = 5b7112e95138b434cf8006464f4b1976
ocaml(Offsetmap_bitwise_sig) = a4070577e8c4ac539b7979c1d1b15776
ocaml(Offsetmap_lattice_with_isotropy) = c85be11aa4bda86a3cd3f79959929c56
ocaml(Offsetmap_sig) = 4e82afe63d63ff6eb61a96791fc38689
ocaml(Origin) = 326cc305771128b8eb6a82f9970c886f
ocaml(Parameter_category) = b2194d537b05947b938daf5a705126f4
ocaml(Parameter_sig) = f5c8be43259aa526aa70e453acc7f4cc
ocaml(Parameter_state) = 810dc5633e3240bc5378c30546c7c413
ocaml(Parsing) = 4f8cd2d8537563c7ea7ee2e5dc94e427
ocaml(PdgIndex) = 0c8c1740c23fc6a5a22096cf472c30c9
ocaml(PdgMarks) = a26108a4b05ecb43695ba739307a2c87
ocaml(PdgTypes) = 1fbf69b70b15577dd8fcc50c8f5716b3
ocaml(Pervasives) = 0d015a5a2136659b0de431be7f1545be
ocaml(Plugin) = 1a18f90db40e4eeb5cd69c02e504c487
ocaml(Precise_locs) = 5f8ea0587e8d4da9b3e4011173450d5c
ocaml(Pretty_utils) = 477d9a754598e42ecb8260bb43eccec7
ocaml(Printer) = 28b20f958870c74df8b89605ecaae1b4
ocaml(Printer_api) = 6610c1f9c23bdf6effefde554d24a152
ocaml(Printexc) = fb616c60404add6295347001c01bfcaa
ocaml(Printf) = eb49a17645c5ea2dd298430a3c986186
ocaml(Project) = 5408f38ff2c22ea55967114abfd249be
ocaml(Project_skeleton) = b9c3c1f9fb396df88b44f768248bc7c3
ocaml(Property) = 78439bbd28333425d20fa8721011ed9c
ocaml(Property_status) = 36b53a0c52b09c4d0d6086499fdd15ee
ocaml(Queue) = 06a89c77a23c672d34cb97e6dfc5f30d
ocaml(Ratio) = bec23091493c17e21a6e5e43114645b1
ocaml(Scanf) = 31f1631ff7e3da78eabf4b08e91d2861
ocaml(Set) = 487197ccd2fea64d52f1cd917061caf2
ocaml(SlicingInternals) = 330830ada4590d49e464381647571d65
ocaml(SlicingTypes) = ac3fce0c7519f687bbf6e41d3d38bbe6
ocaml(Stack) = 3397768ddbaaa5d9fe72a4c82cdc6eb9
ocaml(State) = 748ad28ffdded63a1db6dcaac9c4afed
ocaml(State_builder) = 68d3dabe09808c5661b98487ea72e19a
ocaml(State_dependency_graph) = e1424a08e712a1c5840269e44d8bb7fc
ocaml(State_selection) = 2bb31e56877d60cdfde412946d6ed5fb
ocaml(Stream) = 55948988e71c3ee1749feb21ccec9fc9
ocaml(String) = 9cb286f2c4569fd32c379b1a05c7b590
ocaml(Structural_descr) = 7b09a3115c40c05e26bbe61c7a1f4b67
ocaml(Sys) = 0ce699458ce4430954d7e6a78874647c
ocaml(Type) = 955550be75c620277f167406f901592b
ocaml(Typed_parameter) = 35c7a236620cb3b723f0c4744ae7cf14
ocaml(Unix) = 30a4cc8e5f4f902ea609c91caec48af7
ocaml(Unmarshal) = e60820e1026e7b6d748a76ba1ec4d13a
ocaml(Utf8_logic) = 228a2514b0abc8cb640aa2292fe468e1
ocaml(Value_types) = b30efb59fc17e434f7b151e7af985639
ocaml(Visitor) = f73c7ac0fb959441d169ccab3e6e9750
ocaml(Weak) = 441c40816fe88175926465199a665458
ocaml(runtime) = 4.02.3
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)
why(x86-64) = 2.35-14.fc24


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

 
ICM