yices-doc-2.6.1-1.fc30.riscv64.rpm | RPM Info

Information for RPM yices-doc-2.6.1-1.fc30.riscv64.rpm

297086

Name

yices-doc

Version

2.6.1

Release

1.fc30

Epoch

Arch

riscv64

Summary

Documentation for yices

Description

This package contains yices documentation.

Build Time

2018-12-04 21:53:51 GMT

Size

1.11 MB

SIGMD5

61cb32c3db422a77e82cad66fc5d53b0

License

GPLv3+

Buildroot

f30-build-36039-20252

Provides

yices-doc = 2.6.1-1.fc30

yices-doc(riscv-64) = 2.6.1-1.fc30

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsXz) <= 5.2-1

Recommends

No Recommends

Suggests

No Suggests

Supplements

No Supplements

Enhances

No Enhances

Files

Name	Size
Page: 1 through 50 of 359 >>>
/usr/share/doc/yices-doc	0.00 B
/usr/share/doc/yices-doc/examples	0.00 B
/usr/share/doc/yices-doc/examples/adria	0.00 B
/usr/share/doc/yices-doc/examples/ef-tests	0.00 B
/usr/share/doc/yices-doc/examples/ef-tests/presburger	0.00 B
/usr/share/doc/yices-doc/examples/patrick	0.00 B
/usr/share/doc/yices-doc/examples/synudic_hackersdelight_bench	0.00 B
/usr/share/doc/yices-doc/examples/wd	0.00 B
/usr/share/doc/yices-doc/examples/willet	0.00 B
/usr/share/licenses/yices-doc	0.00 B
/usr/share/doc/yices-doc/examples/dioph-empty.txt	6.00 B
/usr/share/doc/yices-doc/examples/test-params.ys	14.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.ys	64.00 B
/usr/share/doc/yices-doc/examples/recursive_include.ys	64.00 B
/usr/share/doc/yices-doc/examples/test_include4.ys	71.00 B
/usr/share/doc/yices-doc/examples/test_include5.ys	71.00 B
/usr/share/doc/yices-doc/examples/abs_test4.smt2	78.00 B
/usr/share/doc/yices-doc/examples/mod_axiom2.smt2	79.00 B
/usr/share/doc/yices-doc/examples/mod_axiom3.smt2	79.00 B
/usr/share/doc/yices-doc/examples/floor_axiom5.smt2	82.00 B
/usr/share/doc/yices-doc/examples/mod_axiom4.smt2	83.00 B
/usr/share/doc/yices-doc/examples/mod_axiom5.smt2	83.00 B
/usr/share/doc/yices-doc/examples/ef-tests/presburger/README	88.00 B
/usr/share/doc/yices-doc/examples/floor_axiom4.smt2	89.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.ys	91.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.ys	91.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.ys	91.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test5.sat.ys	93.00 B
/usr/share/doc/yices-doc/examples/tst_bvlt.smt	95.00 B
/usr/share/doc/yices-doc/examples/floor_axiom2.smt2	96.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge.smt	96.00 B
/usr/share/doc/yices-doc/examples/floor_axiom3.smt2	97.00 B
/usr/share/doc/yices-doc/examples/test_include2.ys	97.00 B
/usr/share/doc/yices-doc/examples/test_include3.ys	97.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge2.smt	97.00 B
/usr/share/doc/yices-doc/examples/div_axiom2.smt2	98.00 B
/usr/share/doc/yices-doc/examples/is_int_test1.smt2	98.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge1.smt	98.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge3.smt	98.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge4.smt	98.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge5.smt	98.00 B
/usr/share/doc/yices-doc/examples/tst_bvult1.smt	98.00 B
/usr/share/doc/yices-doc/examples/tst_bvult2.smt	98.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge6.smt	99.00 B
/usr/share/doc/yices-doc/examples/abs_axiom2.smt2	101.00 B
/usr/share/doc/yices-doc/examples/abs_test5.smt2	102.00 B
/usr/share/doc/yices-doc/examples/abs_axiom.smt2	105.00 B
/usr/share/doc/yices-doc/examples/div_axiom3.smt2	105.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test6.sat.ys	107.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test10.unsat.ys	110.00 B

Component of

No Buildroots

Main Site Links:

Information for RPM yices-doc-2.6.1-1.fc30.riscv64.rpm