RPM Fedora 20 why3-examples 0.83 noarch rpm

why3-examples rpm build for : Fedora 20. For other distributions click why3-examples.

Name : why3-examples
Version : 0.83	Vendor : Fedora Project
Release : 6.fc20	Date : 2014-06-27 16:42:14
Group : Unspecified	Source RPM : why3-0.83-6.fc20.src.rpm
Size : 13.45 MB
Packager : Fedora Project
Summary : Example inputs
Description : Example source code with why3 annotations.
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/20/i386

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl why3-examples-0.83-6.fc20.noarch.rpm

ftp.icm.edu.pl why3-examples-0.83-6.fc20.noarch.rpm

Provides :
why3-examples

Requires :

rpmlib(PayloadIsXz) <= 5.2-1

why3 = 0.83-6.fc20

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

Content of RPM :
/usr/share/doc/why3-examples
/usr/share/doc/why3-examples/examples
/usr/share/doc/why3-examples/examples/add_list
/usr/share/doc/why3-examples/examples/add_list.mlw
/usr/share/doc/why3-examples/examples/add_list/why3session.xml
/usr/share/doc/why3-examples/examples/algo63
/usr/share/doc/why3-examples/examples/algo63.mlw
/usr/share/doc/why3-examples/examples/algo63/algo63_Algo63_WP_parameter_partition_1.v
/usr/share/doc/why3-examples/examples/algo63/why3session.xml
/usr/share/doc/why3-examples/examples/algo64
/usr/share/doc/why3-examples/examples/algo64.mlw
/usr/share/doc/why3-examples/examples/algo64/why3session.xml
/usr/share/doc/why3-examples/examples/algo65
/usr/share/doc/why3-examples/examples/algo65.mlw
/usr/share/doc/why3-examples/examples/algo65/why3session.xml
/usr/share/doc/why3-examples/examples/arm
/usr/share/doc/why3-examples/examples/arm.mlw
/usr/share/doc/why3-examples/examples/arm/why3session.xml
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs.mlw
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3session.xml
/usr/share/doc/why3-examples/examples/balance
/usr/share/doc/why3-examples/examples/balance.mlw
/usr/share/doc/why3-examples/examples/balance/why3session.xml
/usr/share/doc/why3-examples/examples/bellman_ford
/usr/share/doc/why3-examples/examples/bellman_ford.mlw
/usr/share/doc/why3-examples/examples/bellman_ford/bellman_ford_Graph_long_path_decomposition_1.v
/usr/share/doc/why3-examples/examples/bellman_ford/bellman_ford_Graph_long_path_decomposition_pigeon1_1.v
/usr/share/doc/why3-examples/examples/bellman_ford/bellman_ford_Graph_long_path_decomposition_pigeon3_1.v
/usr/share/doc/why3-examples/examples/bellman_ford/bf_Graph_key_lemma_1_1.v
There is 1078 files more in these RPM.