SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : why-jessie
Version : 2.34 Vendor : Fedora Project
Release : 13.fc21 Date : 2014-11-15 23:42:50
Group : Applications/Engineering Source RPM : why-2.34-13.fc21.src.rpm
Size : 19.29 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/21/x86_64/w

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why-jessie-2.34-13.fc21.x86_64.rpm
     

Provides :
appdata()
appdata(jessie.appdata.xml)
application()
application(jessie.desktop)
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(Lexer)
ocaml(Lib)
ocaml(Loc)
ocaml(Option_misc)
ocaml(Output)
ocaml(Parser)
ocaml(Pp)
ocaml(Print_real)
ocaml(Rc)
ocaml(Report)
ocaml(Why3_kw)
ocaml(Whyproject)
ocaml(Xml)
why-jessie
why-jessie(x86-64)

Requires :
ocaml(SlicingInternals) = 41497f9285a056af37f426d0bdc28204
ocaml(Nativeint) = 11ff26db80a400d29d2755edd23b5d0f
ocaml(Jc_poutput) = f0b7ae4ac733707937fb8fe2218edd64
ocaml(FCHashtbl) = f2f8f7419d2b97d3ba18298879419d75
ocaml(Scanf) = 32f4f4bcda9cec7e02ee159052050f07
ocaml(Ratio) = 4a3c42327fa7e731ee4426f28df82974
ocaml(Pretty_utils) = 6961442d75da0c24ee3e51dd7a6cb6c6
ocaml(FCSet) = eb035767f531aaac52b3a917a7322242
ocaml(Cil_types) = 0949d6ed220ee1c87c6f071065b2fc36
ocaml(Value_types) = 245c50ba065aed3bdc124d35e095edcc
ocaml(Datatype) = dedab7b86512c8bbc077c4a5d87d6c96
ocaml(Abstract_interp) = 5b26bf4c73d5e063efb7d9076445cc94
rtld(GNU_HASH)
ocaml(Visitor) = bb5a9ddc27932ac7b4233d426999c7b4
ocaml(Int64) = 3945db6e8df0d5a79bcbc949ee550d52
ocaml(Jc_fenv) = afe24d7369ea03a51d835b5edff120b6
ocaml(Dynamic) = 1a6ec5ff8e6ebbda3aeb944261174b7f
ocaml(Lazy) = 12a7b23bd30e5e207ddae39c8e41a1d2
libapron_caml.so()(64bit)
ocaml(Jc_type_var) = 79a6495a87ebdeea0c3e3ea7b016af73
ocaml(Jc_pervasives) = 60cf686a2d5880344d4bb2884146d241
ocaml(State_selection) = 4733cc0ce53714d12b357e388f9fac7b
ocaml(Emitter) = 8b652bd15509b705b927c926b9a28d08
ocaml(runtime) = 4.01.1
libpolkaMPQ_caml.so()(64bit)
ocaml(Parsing) = ce3ca1121d80c4219ee78b6df5ddba03
ocaml(Escape) = 1e16e2cdb340bcd31793b489674925f9
ocaml(Effect) = 866577c7334fa9279208afcfc424517b
liboctMPQ_caml.so()(64bit)
ocaml(Utf8_logic) = 59692f9009da4e3d897cd519782e3113
ocaml(SlicingTypes) = 734e3e346abf2fcc8dfc9f06c826ae9b
ocaml(Kernel_function) = 16949a1370b72322cb1b792beadcf000
ocaml(Digest) = 5972f410cf78f5813a94ff7b90804058
ocaml(Queue) = 2dece812a038a26a3231548f436037b6
ocaml(Annotations) = bf76fbf0dc0455f677c59acaef75ab82
ocaml(Arg) = a7ebc43608a0326f6aa67069897d89e7
ocaml(Locations) = e209d9b0bfd36f6207a05dfea6b12cc4
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
ocaml(CamlinternalMod) = fe92c198d71ba83b5f80672548734624
ocaml(Type) = 0b89f86e5945532d6741d6c7a69686e0
ocaml(Lattice_Interval_Set) = a01c9e91f1ef061467e705a7cf844a7e
ocaml(Kernel) = 4e5b840910ab206ce7022286b326163c
/bin/sh
ocaml(Logic_ptree) = c2a45950abd7af84c18587976e04fd54
frama-c
ocaml(Graph) = ee1106295303d97953506d2dce0a13d3
ocaml(Offsetmap_sig) = d952a940bb23aef168b79260ff8a56ed
rpmlib(FileDigests) <= 4.6.0-1
ocaml(Cil_datatype) = ea2895a420902777ba3b82f0897c135a
ocaml(Cabshelper) = 3b0d525dc4803c4f6f1850459433ea4e
ocaml(Descr) = 2a6f6d544f73623e67b6e37dfa3d441a
ocaml(Parser) = 47b03ee47a1c89a95e9df90e69f80d75
ocaml(Log) = d272e9a1809d90af3414b75e0daaa2a7
ocaml(Inout_type) = f47cf0b0b0032c22722cd20c528f4813
libboxMPQ_caml.so()(64bit)
ocaml(Ast_info) = ec8361e315823b35082d440fbf123041
ocaml(Pp) = 61c1ee692182beb67a61b44b64b82759
ocaml(FCMap) = 2e9897982d4d02bd14b588ec66ec3092
ocaml(Project_skeleton) = d8a567c55fd0c1d841faa7f26287b347
ocaml(Jc_env) = 52feaa2c0a0b764c9c4ca8eb2a0060ab
ocaml(Option_misc) = 51cc93c2cc8e8a6e467decbcb81ca4b7
libc.so.6()(64bit)
ocaml(Weak) = e86b819661351c07c5122e164ffd29ea
ocaml(PdgMarks) = ac5e588893f534c2960200a2d0619b54
ocaml(Lexing) = 50598ab7c92b4bdcc624e472342ac8a9
ocaml(Jc_common_options) = 6a832ec38dd2e3063b9b1bbd783334d5
ocaml(Cvalue) = 74dc8dd7038a502c8d83d666ef2b24d4
ocaml(PdgTypes) = 60f79d2c4787f8a3f052e716ee6b0c3f
ocaml(Printf) = d012329cc712e91d0f10a5eef2303d18
ocaml(Pervasives) = 36b5bc8227dc9914c6d9fd9bdcfadb45
ocaml(Jc_region) = e0dfd0f6f1ee0e58f6541b8e6249216a
ocaml(Num) = a55d7a4dde9dd12b458f9a55320c6e4d
ocaml(List) = d757117653d9319fefb7ddc78a998f41
ocaml(State) = 13fae5e81c7648b4bf2d8ff7aed820ef
ocaml(Set) = be044b48f40a48f0eb210225f11e0118
ocaml(Function_Froms) = a17c44d755910984555ff81a57bd9671
ocaml(Property) = 58f71ffb439986fb4fe2fc4642244709
ocaml(Lattice_type) = 4bc58167a941456d6800c1b5e93a2742
ocaml(Logic_env) = 678bce377d5515557580408f0265cee4
libdl.so.2()(64bit)
ocaml(Buffer) = af3ef6fba94cdb4eba31e98b4e341dab
ocaml(Logic_const) = 1b6bb696322bd1c28ac937d86c176268
ocaml(Extlib) = 6b1db3e8cc0ef0b84f3b8d1eababf4d0
ocaml(Hptset) = 8e47ad72aa94b520ba19822b29ef8227
ocaml(Printer) = e6c66e01b8ca63472d9f3a350e91c493
ocaml(Jc_stdlib) = 54e68f6fafff26732fe0a6e51024800e
ocaml(Cmdline) = e966ac186740b1500e88cf9e4193c4a9
ocaml(Int_Base) = 61abe15231e694cf1c37ee0c3cd67d6c
libmpfr.so.4()(64bit)
ocaml(Base) = 8a997c823cd26ccd9640500450044910
ocaml(Printexc) = d81cbca604b811d25138fa79499fe071
ocaml(State_builder) = ce6f86b5392e8cc3c88e9ebd0b0f150d
libc.so.6(GLIBC_2.15)(64bit)
ocaml(Loc) = dc06442b3f3b69489930786f91bc6f2d
libm.so.6()(64bit)
libc.so.6(GLIBC_2.3)(64bit)
libdl.so.2(GLIBC_2.2.5)(64bit)
ocaml(Cil) = d93d184eb855c4ef51328c43a1155ee6
ocaml(PdgIndex) = 686b7cf68f6b41cf4892162f3412cf66
ocaml(CilE) = 90604a1e66d921d7d66ef25aa86df07a
ocaml(Stack) = 22ee969c15348e719d399f27dc29695b
ocaml(Parameter_state) = 342c255c882ef84e8ab07ca93358234b
ocaml(Offsetmap_lattice_with_isotropy) = 716d3923e0d18b960a402e6e9d1ed8c0
why(x86-64) = 2.34-13.fc21
ocaml(Project) = 30f74b9202b5f84b78deacee909a4113
ocaml(Globals) = 05545f8882e493938058a965701cbaec
ocaml(Integer) = 7ef5d545e8690ad23e26adb3c3da244e
ocaml(Hook) = 15f82ab18734cd96d82732c2b33d6524
ocaml(Stream) = 932d0bd7bd881dd54cdaabdd1ca8062b
ocaml(Unix) = 93736a394d3d85d6d127fe238ddc6092
ocaml(Plugin) = 178eaee25c08a1f2c59faf0178185c83
libgmp.so.10()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
ocaml(Jc_output_misc) = 5ea2133972872275376d518abd295443
ocaml(Printer_api) = feed98a6bbeabe64decc4aee7e1cb831
ocaml(Structural_descr) = 40b1a1f0b84c7b056a5915b1e03c56ca
ocaml(Obj) = b0adfa4175f86e4394859886c1a374bb
ocaml(Hashtbl) = 024edc3512403b725052aec8e41ed971
ocaml(Config) = 5e4f7a5debec5e97b31d2a1f2a171897
rpmlib(CompressedFileNames) <= 3.0.4-1
ocaml(Logic_utils) = e5b8dfa82933bbf88da84710d6a8de2a
ocaml(Cabs2cil) = 2bd4da8fa3954fa42090520003aeda58
libc.so.6(GLIBC_2.4)(64bit)
ocaml(Int32) = ad06f04cfca6d404d1de76c3dc67324a
ocaml(Origin) = b76950847f0cbab0d7697518c26ceea5
ocaml(Nat) = ac011c9fbe199b586b98e7c9887f9e24
ocaml(File) = 9dce5914bedd306fefb0fc934f88b770
ocaml(Array) = 8a6bb22925744456eb66180ea42e3344
ocaml(Jc_envset) = ddbcfea6eeb8bed5496761d2e0c08042
ocaml(Cabs) = e2cd2fb75abba2c111a2c55d46633f08
ocaml(Ival) = e38fca647831583b42d5a4af42ef4c3f
libm.so.6(GLIBC_2.2.5)(64bit)
ocaml(CamlinternalOO) = 9aea14562c686c3ebc7df7b67ff5bf01
ocaml(Format) = e0d18776d4bacff3a198b5c23d0e9355
rpmlib(PayloadIsXz) <= 5.2-1
ocaml(Unmarshal) = 82840cc2403733010c599ded478437cc
ocaml(Jc_constructors) = fbda3121106a36c61b8e5712c5ccdce8
ocaml(Parameter_sig) = 68641a47bae286071918bbc43f80df0a
ocaml(Typed_parameter) = 1cab012d1ec2994aaf083e7b210f5092
ocaml(Filename) = 28728bb478e079cce0b0c694de7944d6
ocaml(Jc_ast) = 8f3f24736337b31275a5688cc97ba2ec
ocaml(Cil_const) = ef910fe851036f333f688cb171d17ef2
ocaml(Lmap_bitwise) = 3c2af9dd70efef776d75fe8ed2cc1fba
ocaml(State_dependency_graph) = 7394cac06233cecb247375f38fb36b62
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
ocaml(Sys) = 5acfec22153eb1403597926ecd15f4f5
ocaml(String) = db7f34081ef8fcaf499f19523d0736c6
ocaml(Ident) = 8d989d45e6fd15783141adcf5a5abff2
libc.so.6(GLIBC_2.7)(64bit)
ocaml(Char) = 9554e5449c177414a27e7d7ff5ed8013
ocaml(Db) = 3e5f029f0824ad694f43293d49365416
ocaml(Jc) = e0abc5ecbeac748b62efbd0035e1cbb5
ocaml(Map) = f11d7ddcffad09397202a49bd9bb4283
ocaml(Rc) = 192c13e17c54844957c4a154746ea147
ocaml(Lmap_sig) = 7db9dcdc29ab4cd9fa8826bc1962a4cf
ocaml(Hptmap) = b804ee79fe7e9f0d6f5848ca2a1a01ca
ocaml(Property_status) = fa517133ec53b95a501375c9493f1f02
ocaml(Big_int) = f8c6fb4af713157bb22632e572534639
ocaml(ListLabels) = 7aa31569775d0922ee364dd3450a3756


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

  
ICM