SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 

yices-doc rpm build for : Fedora 34. For other distributions click yices-doc.

Name : yices-doc
Version : 2.6.2 Vendor : Fedora Project
Release : 7.fc34 Date : 2021-01-29 09:33:05
Group : Unspecified Source RPM : yices-2.6.2-7.fc34.src.rpm
Size : 20.90 MB
Packager : Fedora Project
Summary : Documentation for yices
Description :
This package contains yices documentation.

RPM found in directory: /mirror/download.fedora.redhat.com/pub/fedora/linux/releases/34/Everything/armhfp/os/Packages/y

Content of RPM  Changelog  Provides Requires

Download
ftp.pbone.net  yices-doc-2.6.2-7.fc34.noarch.rpm
ftp.pbone.net  yices-doc-2.6.2-7.fc34.noarch.rpm
ftp.pbone.net  yices-doc-2.6.2-7.fc34.noarch.rpm
     

Provides :
yices-doc

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/share/doc/yices-doc
/usr/share/doc/yices-doc/examples
/usr/share/doc/yices-doc/examples/abs_axiom.smt2
/usr/share/doc/yices-doc/examples/abs_axiom2.smt2
/usr/share/doc/yices-doc/examples/abs_test1.smt2
/usr/share/doc/yices-doc/examples/abs_test2.smt2
/usr/share/doc/yices-doc/examples/abs_test3.smt2
/usr/share/doc/yices-doc/examples/abs_test4.smt2
/usr/share/doc/yices-doc/examples/abs_test5.smt2
/usr/share/doc/yices-doc/examples/abs_test6.smt2
/usr/share/doc/yices-doc/examples/adria
/usr/share/doc/yices-doc/examples/adria/ef_ALU_add_sub.ys
/usr/share/doc/yices-doc/examples/adria/example.efyices
/usr/share/doc/yices-doc/examples/adria/example_1_implication.smt2
/usr/share/doc/yices-doc/examples/adria/example_1_implication.ys
/usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.smt2
/usr/share/doc/yices-doc/examples/adria/example_1_implication_forall_turned_into_exist.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected2.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected3.ys
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.smt2
/usr/share/doc/yices-doc/examples/adria/example_2constraints_expected4.ys
/usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.smt2
/usr/share/doc/yices-doc/examples/adria/example_ALU_add_sub_rewritten.ys
/usr/share/doc/yices-doc/examples/adria/example_distr.efyices
/usr/share/doc/yices-doc/examples/adria/example_distr.efyices.smt2
/usr/share/doc/yices-doc/examples/adria/example_find_ALU_add_conditions.smt2
There is 425 files more in these RPM.