SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

why3 rpm build for : Fedora 19. For other distributions click why3.

Name : why3
Version : 0.81 Vendor : Fedora Project
Release : 2.fc19 Date : 2013-05-23 21:32:57
Group : Unspecified Source RPM : why3-0.81-2.fc19.src.rpm
Size : 38.48 MB
Packager : Fedora Project
Summary : Software verification platform
Description :
Why3 is the next generation of the Why software verification platform.
Why3 clearly separates the purely logical specification part from
generation of verification conditions for programs. It features a rich
library of proof task transformations that can be chained to produce a
suitable input for a large set of theorem provers, including SMT
solvers, TPTP provers, as well as interactive proof assistants.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/19/Everything/i386/os/Packages/w

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why3-0.81-2.fc19.i686.rpm
     Search for other platforms
why3-0.81-2.fc19.sparc.rpm
why3-0.81-2.fc19.alpha.rpm
why3-0.81-2.fc19.ppc.rpm
why3-0.81-2.fc19.ia64.rpm
why3-0.81-2.fc19.s390.rpm

Provides :
Jessie3.cmxs
genequlin.cmxs
hypothesis_selection.cmxs
ocaml(Jessie3)
tptp.cmxs
why3
why3(x86-32)
why3tac.cmxs

Requires :
ocaml(Hashtbl_common_interface) = 4a290c3bf0cabd90ab8ad1a9c1934eda
ocaml(Globals) = 79283a42d8f22b5db026e6a71ed9d7ed
ocaml(Dynamic) = 256067178a44bc61a745775e887c3272
libgobject-2.0.so.0
libdl.so.2
gtksourceview2
ocaml(Abstract_interp) = 0b388992fe606142ae79f20e71938154
rtld(GNU_HASH)
ocaml(runtime) = 4.00.1
ocaml(Big_int) = 6ea0f5d18abf2406597321a99befa362
ocaml(Unmarshal) = 58e5380f5919facad0bcb8ed99ed3b0c
ocaml(Lazy) = be13470d54bbba2080e16d4f864ec34b
libm.so.6
ocaml(Stack) = 2680fb284a871de3a3cb68decbeb6c3f
ocaml(Obj) = ad977b422bbde52cd6cd3b9d04d71db1
ocaml(String) = 54ba2685e6ed154753718e9c8becb28b
ocaml(Lexing) = 7e306603bdda9b5b4c50d1aac8def12a
ocaml(Origin) = 031a6c28bed7e2daa24bb5a3e76a807d
ocaml(Hashtbl) = 718cd6ce8bc18371ce22483e362f78b4
libpango-1.0.so.0
libgdk-x11-2.0.so.0
ocaml(Nat) = 08c67210c7d2a23c3baf31b40921b560
ocaml(Plugin) = 2f033f7c40c2c83cc17c501517d01b11
ocaml(Offsetmap_sig) = 7e44a89054d88769102b885148cbcddf
ocaml(Hptset) = bccfa3189c791814754a2dc337f536cb
ocaml(Emitter) = 24ca801db5ba3cfca83a7e32d55b8c9c
vim-filesystem
ocaml(Kernel_function) = df7d96361e670fa696789c5b179d8f4c
ocaml(Type) = 0ea01547639e185cd248093d9b085b83
ocaml(Digest) = fc1ddbe7729c06f1551c4154795b3b6c
ocaml(Graph) = aa4cb66323ff6093d64748facfd9f304
libpthread.so.0(GLIBC_2.0)
libc.so.6(GLIBC_2.11)
frama-c
ocaml(Annotations) = 2010c6356dbfd29c97846d516477e208
rpmlib(FileDigests) <= 4.6.0-1
libcairo.so.2
ocaml(Set) = a7bdd82abd2a5609c0242e51ef43cacb
ocaml(Structural_descr) = 4e8df33ea725384c05f3f2621efc8789
libc.so.6(GLIBC_2.15)
ocaml(Cil_datatype) = a91b076c15045758461a9d4897ffdfe1
libc.so.6
libc.so.6(GLIBC_2.3.4)
ocaml(Datatype) = 8b03683eb62db1ced710b535a4822298
libdl.so.2(GLIBC_2.1)
ocaml(Format) = 6e6b7b75c544ef4ca673a763aec805af
libpthread.so.0(GLIBC_2.3.2)
libc.so.6(GLIBC_2.4)
ocaml(PdgIndex) = f02f1f1252f32b6ab35b4d3dbfddaf7c
ocaml(Cvalue) = b8e01e23912ec50c484f1845ebe66161
ocaml(Lattice_With_Isotropy) = 05fb44119e4ec4120990ae65f29bafca
ocaml(Pretty_utils) = d03d49ee034e00131dc4d2a4e2e62524
ocaml(PdgTypes) = 3785c6e81b3bdac0ef4284533ffbe137
libpthread.so.0(GLIBC_2.1)
ocaml(Cil) = e185e050484cb3614bec39bc09e72244
libc.so.6(GLIBC_2.7)
ocaml(Unix) = b6bfdb83f38c665d97fc0f322923311f
libc.so.6(GLIBC_2.1.2)
ocaml(Int64) = 0d5ecd8dffcffac43aec2ebe427d3bde
ocaml(Escape) = 46744b7d362d0357b364dff8f557e883
ocaml(Str) = e42aad8fb20d54ddbff6b1ae2544ea03
ocaml(Map) = 1be6bb7484ad2000575776b38d423f2f
ocaml(Function_Froms) = f4131a927106e89d3b019d50cbab2022
libfontconfig.so.1
ocaml(Locations) = 169c78a0b12ae81c52ebb940d3d0d67e
libm.so.6(GLIBC_2.1)
ocaml(SetWithNearest) = a25f341dd8d24284de9e55de63330fff
libgtksourceview-2.0.so.0
libpthread.so.0(GLIBC_2.2)
ocaml(Integer) = 46e316482808449b088488302265206f
ocaml(Lattice_Interval_Set) = a9f766843da4a2298de6295d154abae5
libpthread.so.0
ocaml(Log) = 4ebe5a09105a56d28cea63dd5d02cb3b
ocaml(Int32) = 265928798c0b8a63fa48cf9ac202f0ce
ocaml(Ratio) = b8c317f84aa07072a3ecac75898ac831
ocaml(Ast) = a3535b8fad3870bf28fb1e475f7fe04c
libgtk-x11-2.0.so.0
libgdk_pixbuf-2.0.so.0
libpangocairo-1.0.so.0
ocaml(Int_Base) = b2e5c5c2025435cae49daa03c07fb5f6
ocaml(Inout_type) = ff963c8346b7b1f15bda337bfcf0a7df
ocaml(Pervasives) = 4836c254f0eacad92fbf67abc525fdda
ocaml(Buffer) = 3f6c994721573c9f8b5411e6824249f4
ocaml(Logic_ptree) = 1aaca354054b2ba58a002a0868fe0bfb
ocaml(Cabs) = b5a06b8fd6001e7bc71be011553e1cbb
libc.so.6(GLIBC_2.1.3)
ocaml(State_selection) = 1b6633cb19ab425c961b52c3f89b4dae
ocaml(Lmap_sig) = 1627a5a5b1983ef0ef9f11a5566d8098
ocaml(Project_skeleton) = 8577a18c3d6f252d82bf2a94ee2d1448
ocaml(Num) = dc3dc81a9bf6c00fd6ed8ea8b9243eb6
libc.so.6(GLIBC_2.2)
ocaml(CilE) = 6273de2965f76f83f9c94a4da6c8f880
ocaml(Queue) = 9e4770869a4e57f5db312d7fdd5e6810
ocaml(SlicingInternals) = 8ea72df1e444632bf8a97898d3807474
ocaml(Cil_types) = 6e37314bb0f8edb7b07d1fb91728ecd8
ocaml(Parameter) = 9caf4ac97f83744509b24f29b1250ebf
ocaml(State_builder) = c22cd4c5839a9b74acb390170df33df4
rpmlib(CompressedFileNames) <= 3.0.4-1
libatk-1.0.so.0
ocaml(Db) = c98434070edb21fe4afb87e4b9cfc588
ocaml(SlicingTypes) = d008e537141f0ef53209d3203edf6cd7
ocaml(PdgMarks) = 093b65675fb0d42beb68dcde4c5fe391
libfreetype.so.6
ocaml(Hook) = 73a86a2f01e1a275011dc8df9dc81029
ocaml(Cil_printer) = a3ef3ecc3cdb3913e55854377683648a
ocaml(Nativeint) = ba4724e629401070e29f0b6863f08b24
ocaml(Printer_api) = eaddf94387d9d919dc20bf4cdfd2b934
ocaml(Descr) = 4512557e88ac5756c52038663341b2da
ocaml(Array) = 4d5efba91ec70acd7b184fd4b277708c
ocaml(Base) = 29340e07789efcc4c18289fef0c775fd
libsqlite3.so.0
libpangoft2-1.0.so.0
libgio-2.0.so.0
rpmlib(PayloadIsXz) <= 5.2-1
ocaml(Cmdline) = fe4fc954abaf3b5712d9c2874ec69357
ocaml(State) = 48e66b08d9d73033a712a863af541ab6
ocaml(Weak) = 6ec9ee0b4d14b6d1f8c2003f9d9711af
ocaml(Arg) = 0912ae37a27d2d7d1889fb5c072b7f05
ocaml(List) = bd7c662c09e850306a62c12fed5ef5ce
libc.so.6(GLIBC_2.0)
libdl.so.2(GLIBC_2.0)
ocaml(Logic_const) = f06e58573704252a02dc51248846ce46
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
ocaml(Lmap_bitwise) = 96807cf09ea0bb41aa36167b1d7d1d7d
ocaml(Hptmap) = b63c75253a7a3f727eb2ad852070e4a0
libc.so.6(GLIBC_2.3)
libm.so.6(GLIBC_2.0)
ocaml(Project) = 5b63253d349633e320cde5188c662c3c
libc.so.6(GLIBC_2.3.2)
ocaml(Value_types) = d789c3508796a2bd892c85ee92f81ebf
libc.so.6(GLIBC_2.1)
ocaml(Ival) = 97e3b022cf438c3e6cc75f1f80670a2c
libglib-2.0.so.0


Content of RPM :
/usr/bin/why3
/usr/bin/why3-cpulimit
/usr/bin/why3bench
/usr/bin/why3config
/usr/bin/why3doc
/usr/bin/why3ide
/usr/bin/why3replayer
/usr/bin/why3session
/usr/lib/frama-c/plugins/Jessie3.cmi
/usr/lib/frama-c/plugins/Jessie3.cmx
/usr/lib/frama-c/plugins/Jessie3.cmxs
/usr/lib/why3
/usr/lib/why3/coq
/usr/lib/why3/coq-tactic
/usr/lib/why3/coq-tactic/Why3.glob
/usr/lib/why3/coq-tactic/Why3.v
/usr/lib/why3/coq-tactic/Why3.vo
/usr/lib/why3/coq-tactic/why3tac.cmxs
/usr/lib/why3/coq/BuiltIn.vo
/usr/lib/why3/coq/bool
/usr/lib/why3/coq/bool/Bool.vo
/usr/lib/why3/coq/floating_point
/usr/lib/why3/coq/floating_point/Double.vo
/usr/lib/why3/coq/floating_point/DoubleFormat.vo
/usr/lib/why3/coq/floating_point/GenFloat.vo
/usr/lib/why3/coq/floating_point/Rounding.vo
/usr/lib/why3/coq/floating_point/Single.vo
/usr/lib/why3/coq/floating_point/SingleFormat.vo
/usr/lib/why3/coq/int
/usr/lib/why3/coq/int/Abs.vo
There is 203 files more in these RPM.

 
ICM