Thu, 23 May 2024 06:09:55 UTC | login

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

ID273523
Nameyices-doc
Version2.6.1
Release1.fc29
Epoch
Archriscv64
SummaryDocumentation for yices
DescriptionThis package contains yices documentation.
Build Time2018-11-26 09:17:13 GMT
Size1.11 MB
002d5046452d2b39fd9046b36002988f
LicenseGPLv3+
Buildrootf29-build-33624-18303
Provides
yices-doc = 2.6.1-1.fc29
yices-doc(riscv-64) = 2.6.1-1.fc29
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
Page:
1 through 50 of 359 >>>
Name descending sort Size
/usr/share/licenses/yices-doc/LICENSE.txt34.32 KB
/usr/share/licenses/yices-doc0.00 B
/usr/share/doc/yices-doc/manual.pdf361.62 KB
/usr/share/doc/yices-doc/examples/willet/prop_orig_400.yices1.12 MB
/usr/share/doc/yices-doc/examples/willet/prop_fast_400.yices1.12 MB
/usr/share/doc/yices-doc/examples/willet0.00 B
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.synchro.induct.smt224.42 KB
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.synchro.base.smt224.45 KB
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.missing.induct.smt233.08 KB
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.bug.induct.smt233.13 KB
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.abstract.induct.smt233.14 KB
/usr/share/doc/yices-doc/examples/wd/simple_startup_4nodes.abstract.base.smt222.74 KB
/usr/share/doc/yices-doc/examples/wd/prp-5-17.smt214.30 KB
/usr/share/doc/yices-doc/examples/wd/prp-24-47.smt2382.20 KB
/usr/share/doc/yices-doc/examples/wd/prp-2-18.smt217.33 KB
/usr/share/doc/yices-doc/examples/wd/prp-1-31.smt221.11 KB
/usr/share/doc/yices-doc/examples/wd/prp-1-22.smt27.39 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27var.smt2218.65 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27var.smt264.55 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27.smt2218.65 KB
/usr/share/doc/yices-doc/examples/wd/opt1217--27.smt263.81 KB
/usr/share/doc/yices-doc/examples/wd/c6b_succ_i_unint.smt219.54 KB
/usr/share/doc/yices-doc/examples/wd/c6b_succ_i.smt219.62 KB
/usr/share/doc/yices-doc/examples/wd/c6b_i.smt219.58 KB
/usr/share/doc/yices-doc/examples/wd/c10bid_i_succ_unint.smt2123.56 KB
/usr/share/doc/yices-doc/examples/wd/c10bid_i_succ.smt2123.69 KB
/usr/share/doc/yices-doc/examples/wd/c10bid_i.smt2123.64 KB
/usr/share/doc/yices-doc/examples/wd/aquino.ys484.00 B
/usr/share/doc/yices-doc/examples/wd0.00 B
/usr/share/doc/yices-doc/examples/tst_bvult2.smt98.00 B
/usr/share/doc/yices-doc/examples/tst_bvult1.smt98.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge6.smt99.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge5.smt98.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge4.smt98.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge3.smt98.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge2.smt97.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge1.smt98.00 B
/usr/share/doc/yices-doc/examples/tst_bvuge.smt96.00 B
/usr/share/doc/yices-doc/examples/tst_bvudiv8.smt231.00 B
/usr/share/doc/yices-doc/examples/tst_bvudiv7.smt203.00 B
/usr/share/doc/yices-doc/examples/tst_bvudiv6.smt203.00 B
/usr/share/doc/yices-doc/examples/tst_bvudiv5.smt189.00 B
/usr/share/doc/yices-doc/examples/tst_bvudiv4.smt195.00 B
/usr/share/doc/yices-doc/examples/tst_bvudiv3.smt191.00 B
/usr/share/doc/yices-doc/examples/tst_bvudiv2.smt191.00 B
/usr/share/doc/yices-doc/examples/tst_bvudiv1.smt191.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv9.smt258.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv8.smt260.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv7.smt260.00 B
/usr/share/doc/yices-doc/examples/tst_bvsdiv6.smt260.00 B
Component of No Buildroots