SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : why-jessie
Version : 2.38 Vendor : Fedora Project
Release : 1.fc25 Date : 2017-03-25 18:38:33
Group : Unspecified Source RPM : why-2.38-1.fc25.src.rpm
Size : 15.33 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/25/x86_64/Packages/w

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why-jessie-2.38-1.fc25.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) = b68108c38c3b468c584a22147220561d
ocaml(Annotations) = 56ae253831953212e19ea0edc39335a7
ocaml(Array) = ae800d8cf9903f1d36856950940430e6
ocaml(Ast_info) = ab8e551be5727cd0abf62b19fff98e7c
ocaml(Base) = 93f0a018433b47bea7533fd909452f6a
ocaml(Big_int) = 05cfd3c522fa6f81e61795896e13f82c
ocaml(Bottom) = c01358c84b047a2b69aa708e5cb8cbab
ocaml(Buffer) = a579f4a57e300ec755f84af883c1e51b
ocaml(Bytes) = 4c433013a088edac8556bb94512e4988
ocaml(Cabs) = 83479926e905e088c45748e55ff39f73
ocaml(Cabs2cil) = 70a83100db5fffc92ee61356dd289302
ocaml(Cabshelper) = 7aa7b7d393afe3c84311347759dc911b
ocaml(CamlinternalFormatBasics) = 8b069fca1e4d9316b588e5554f38bb24
ocaml(CamlinternalMod) = 38ea0fc3a256fe9392f5842b1e24120d
ocaml(CamlinternalOO) = 3d0b4eb4525ba4274c8885d7124f7bbc
ocaml(Char) = 60fd98ba6ff303baf9287e7bfb886f12
ocaml(Cil) = afe0d49532e9e1eeccc1db179bc21d4e
ocaml(CilE) = 247a9acace1c7c0c89394de104cd7244
ocaml(Cil_const) = ba3f3e64df52ce5caa52266e91f52012
ocaml(Cil_datatype) = c61c33dcf5dcfdd393c76b9a46738a3a
ocaml(Cil_types) = 2d8dda3d9c27edc26195c14f995d05a8
ocaml(Cmdline) = b67fdfc06526af0c1955c88a4c90898d
ocaml(Config) = 7a9766eed0783297eacc5b04b04d37cd
ocaml(Cvalue) = 4f47eef3949f9f6a372de7580f5049b9
ocaml(Datatype) = 39ec44f007a108ae1169d49408ff43b6
ocaml(Db) = 7282284ccf1dcd10c9016922e2f5f079
ocaml(Descr) = 024fb187c8973cd99e9b91daefa111d3
ocaml(Digest) = eab54f58b34b8a6fdc763db6966614a1
ocaml(Dynamic) = fae2495d1b6d54e54fff347edb07341e
ocaml(Emitter) = c2b62208d44754a5ff6c9ea8846e9c3c
ocaml(Escape) = 0a7a8f241c5cc983a8faf185e94e5835
ocaml(Extlib) = c152726a5e0ab77ee0208917319ad24a
ocaml(FCHashtbl) = 794691e68e2dce32e89b11ef8b6d7d50
ocaml(FCMap) = 828d6319ddfd0ce9ae2341285250ae00
ocaml(FCSet) = 49a039466f90ec47e862db34825cc874
ocaml(File) = 2a7e4fb2cc161b5f6b47bc747459fe9d
ocaml(Filename) = 3817bec1dad20c6f594d3a85b13020b8
ocaml(Format) = 61d4350242b30078d3ad96c904c9f7a1
ocaml(Function_Froms) = 793b231432d865b399369d62d0ccee45
ocaml(Fval) = f03a07bcdc7ea7d21bc7933e11e9fbd9
ocaml(Globals) = ec242bf67790b7d3fda6d2b8567f796f
ocaml(Graph) = 40d1a4c3bdde8cd2ae9e426eea061716
ocaml(Hashtbl) = bb8e269d690301a1c4ff14a08e96e83e
ocaml(Hook) = f455badfce81f3dd932408dda16313e5
ocaml(Hptmap) = 14fd7e1d93fb0a4336e156fa698068c9
ocaml(Hptmap_sig) = 7121a80f587be1020b483f7390ac5cd0
ocaml(Hptset) = 6f741ccb3eb26465ad2255c7461b9997
ocaml(Inout_type) = e3d5a1bdbb4dc39876cb8fa1efb64002
ocaml(Int32) = f43b8a2972804b40e28b661b6fdf157a
ocaml(Int64) = 3565b288ec68024088360805650448dd
ocaml(Int_Base) = 1dd25222a94cd97011eb4c8f4959d0f7
ocaml(Int_Intervals) = 9b4b54d50d19ad49536d026e4ad8aaf1
ocaml(Int_Intervals_sig) = 429334966bd27553449bd4ef848bb4fe
ocaml(Integer) = 75e5c75c3d2702e0a86ace9700c93907
ocaml(Ival) = 72be142f7b9cc006522690f5ca97b444
ocaml(Jc) = 4f60a7fa591aa20373b957421c9f5412
ocaml(Kernel) = c5fa7ad73786219bf217cb1137d39156
ocaml(Kernel_function) = 5e92cfe7338acc4485e16e8dc948be73
ocaml(Lattice_type) = 40c5f62482ac05c6c2a8f1d2567bfa61
ocaml(Lazy) = 7dba0bf02f60e5ff44e9e4057263f28d
ocaml(Lexing) = 1be6a5484fb3cfb69d2c981438a7be62
ocaml(List) = 8988208489274193e4e3f69dc6ec2f75
ocaml(ListLabels) = f9c893b10648fae8e31ad7bfcd64248f
ocaml(Lmap_bitwise) = 4c3c1a0f680c26b6cd14ef352be633dc
ocaml(Lmap_sig) = 5eb2afb4a83df0bd0fe6005a66dd9af7
ocaml(Locations) = 2385b605a7acf4b7eacdb130d2641311
ocaml(Log) = e8f7b2126d80d471f62bdf02e2ee365a
ocaml(Logic_const) = e485bf404d3d3325ac483c4606a23ffa
ocaml(Logic_env) = 45109beff59d86218be0ff721b565714
ocaml(Logic_ptree) = c4f9e34aa058635372736cbce9914941
ocaml(Logic_typing) = 7dc1c126f42e8d5f4cf9e1d4c61d17e6
ocaml(Logic_utils) = 2e62bba33586d1099a3562d324a51e0f
ocaml(Map) = 770e6123e5460eeb42d3050f13c5ad53
ocaml(Nat) = 686f2f8952dd9baa88dd4347c14ba219
ocaml(Nativeint) = d9e04753374f7110b66feda40414e5e3
ocaml(Num) = 13c240f21464d6d07eee82c0eb67e515
ocaml(Obj) = 8b014ec57a472d9f3922b63e5de9d1f2
ocaml(Offsetmap) = 459c3e58b9a1539f9d57dca5d0691058
ocaml(Offsetmap_bitwise_sig) = 66594268f576d1c563bfc3907445bb7b
ocaml(Offsetmap_lattice_with_isotropy) = ef90a1a66afccc6b0f6fa12166f79d05
ocaml(Offsetmap_sig) = 92313f60f3c134a37db7a50752c075ca
ocaml(Origin) = 80bf383bef9a9443aa7d62cac241cab9
ocaml(Parameter_category) = b2194d537b05947b938daf5a705126f4
ocaml(Parameter_sig) = 4c8eb809fae3f79c401bd768aef7c18a
ocaml(Parameter_state) = 476de41e3773cb4669c76d6ce96f657b
ocaml(PdgIndex) = 0c8c1740c23fc6a5a22096cf472c30c9
ocaml(PdgMarks) = a26108a4b05ecb43695ba739307a2c87
ocaml(PdgTypes) = 8965819a0c04c029e82bff792ece2f3d
ocaml(Pervasives) = 0d015a5a2136659b0de431be7f1545be
ocaml(Plugin) = 5a1bf28490e19f5f4e344c2dd77308f2
ocaml(Precise_locs) = 2d73e447fcdbb3a02d680a095865d2f1
ocaml(Pretty_utils) = 6df2a341944551c2ec0864b8530e9810
ocaml(Printer) = 217e30ef056b1369511fdb1ef1126c58
ocaml(Printer_api) = 8bb50ace59eddd3bd65e2b91f0afd16d
ocaml(Printexc) = fb616c60404add6295347001c01bfcaa
ocaml(Printf) = eb49a17645c5ea2dd298430a3c986186
ocaml(Project) = 62314283d3775974aaf48e7ff2539cf8
ocaml(Project_skeleton) = ed0d5bcc23f36699599d30138441927d
ocaml(Property) = e1fb541bd2c5eaccf0aea5ec32b19a24
ocaml(Property_status) = 88ae2149f9e209dc63839f3a105a580b
ocaml(Queue) = 06a89c77a23c672d34cb97e6dfc5f30d
ocaml(Ratio) = bec23091493c17e21a6e5e43114645b1
ocaml(Scanf) = 31f1631ff7e3da78eabf4b08e91d2861
ocaml(Set) = 487197ccd2fea64d52f1cd917061caf2
ocaml(SlicingInternals) = 9eb84f21f18e2158017069b539679b46
ocaml(SlicingTypes) = ca332aab491f37567d8752ac15ec56ac
ocaml(Stack) = 3397768ddbaaa5d9fe72a4c82cdc6eb9
ocaml(State) = 58f8fc41ee9101ec61a5b16b613ce3c5
ocaml(State_builder) = 5f9cf27628f6b631e6245fcae50b384e
ocaml(State_dependency_graph) = e1424a08e712a1c5840269e44d8bb7fc
ocaml(State_selection) = a881b7a885ecdee5d229a2076393eb80
ocaml(Stream) = 55948988e71c3ee1749feb21ccec9fc9
ocaml(String) = 9cb286f2c4569fd32c379b1a05c7b590
ocaml(Structural_descr) = 7b09a3115c40c05e26bbe61c7a1f4b67
ocaml(Sys) = 0ce699458ce4430954d7e6a78874647c
ocaml(Type) = ce75405cfc719aed3d0d3e110ed8e30f
ocaml(Typed_parameter) = 35c7a236620cb3b723f0c4744ae7cf14
ocaml(Unix) = 30a4cc8e5f4f902ea609c91caec48af7
ocaml(Unmarshal) = e60820e1026e7b6d748a76ba1ec4d13a
ocaml(Utf8_logic) = a79509db892849e076db0ada0163f7b5
ocaml(Value_types) = 636cd61fa284d04ea381cc0b0b08cbba
ocaml(Visitor) = 1072212782ca075555ccbcbe6bf2f1bf
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.38-1.fc25


Content of RPM :
/usr/bin/jessie
/usr/lib64/frama-c/plugins/Jessie.cmi
/usr/lib64/frama-c/plugins/META.frama-c-jessie
/usr/lib64/frama-c/plugins/top/Jessie.cma
/usr/lib64/frama-c/plugins/top/Jessie.cmo
/usr/lib64/frama-c/plugins/top/Jessie.cmx
/usr/lib64/frama-c/plugins/top/Jessie.cmxs
/usr/share/appdata/jessie.appdata.xml
/usr/share/applications/jessie.desktop

 
ICM