RPM Fedora 36 why3-examples 1.4.1 noarch rpm

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

Name : why3-examples
Version : 1.4.1	Vendor : Fedora Project
Release : 2.fc36	Date : 2022-03-26 19:02:34
Group : Unspecified	Source RPM : why3-1.4.1-2.fc36.src.rpm
Size : 17.55 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/36/Everything/s390x/os/Packages/w

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl why3-examples-1.4.1-2.fc36.noarch.rpm

Provides :
why3-examples

Requires :

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsZstd) <= 5.4.18-1

why3 = 1.4.1-2.fc36

Content of RPM :
/usr/share/doc/why3-examples
/usr/share/doc/why3-examples/examples
/usr/share/doc/why3-examples/examples/TODO
/usr/share/doc/why3-examples/examples/WP_revisited
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5.mlw
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_HoareLogic_while_rule_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_SemOp_steps_non_neg_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_TypingAndSemantics_eval_type_term_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_distrib_conj_3.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_monotonicity_3.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_3.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_progress_5.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/blocking_semantics5_WP_wp_soundness_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3session.xml
/usr/share/doc/why3-examples/examples/WP_revisited/blocking_semantics5/why3shapes.gz
/usr/share/doc/why3-examples/examples/WP_revisited/formula
/usr/share/doc/why3-examples/examples/WP_revisited/formula.why
/usr/share/doc/why3-examples/examples/WP_revisited/formula/why3session.xml
/usr/share/doc/why3-examples/examples/WP_revisited/formula/why3shapes.gz
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n.why
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_eval_subst_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_if_rule_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_many_steps_seq_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_progress_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_steps_non_neg_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/imp_n_Imp_while_rule_1.v
/usr/share/doc/why3-examples/examples/WP_revisited/imp_n/why3session.xml
There is 1875 files more in these RPM.