SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : why3-examples
Version : 0.87.0 Vendor : Fedora Project
Release : 3.fc24 Date : 2016-04-30 21:46:51
Group : Unspecified Source RPM : why3-0.87.0-3.fc24.src.rpm
Size : 6.36 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-secondary/releases/24/Everything/aarch64/os/Packages/w

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why3-examples-0.87.0-3.fc24.noarch.rpm
ftp.icm.edu.pl  why3-examples-0.87.0-3.fc24.noarch.rpm
     

Provides :
why3-examples

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
why3 = 0.87.0-3.fc24


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/add_list/why3shapes.gz
/usr/share/doc/why3-examples/examples/algo63
/usr/share/doc/why3-examples/examples/algo63.mlw
/usr/share/doc/why3-examples/examples/algo63/why3session.xml
/usr/share/doc/why3-examples/examples/algo63/why3shapes.gz
/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/algo64/why3shapes.gz
/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/algo65/why3shapes.gz
/usr/share/doc/why3-examples/examples/all_distinct
/usr/share/doc/why3-examples/examples/all_distinct.mlw
/usr/share/doc/why3-examples/examples/all_distinct/why3session.xml
/usr/share/doc/why3-examples/examples/all_distinct/why3shapes.gz
/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/arm/why3shapes.gz
/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/assigning_meanings_to_programs/why3shapes.gz
There is 1200 files more in these RPM.

 
ICM