Mon, 17 Jun 2024 09:52:52 UTC | login

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

ID297086
Nameyices-doc
Version2.6.1
Release1.fc30
Epoch
Archriscv64
SummaryDocumentation for yices
DescriptionThis package contains yices documentation.
Build Time2018-12-04 21:53:51 GMT
Size1.11 MB
61cb32c3db422a77e82cad66fc5d53b0
LicenseGPLv3+
Buildrootf30-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
Page:
<<< 51 through 100 of 359 >>>
Name Size ascending sort
/usr/share/doc/yices-doc/examples/bv_cycle.smt112.00 B
/usr/share/doc/yices-doc/examples/bv_not4.ys112.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test8.unsat.ys113.00 B
/usr/share/doc/yices-doc/examples/abs_test3.smt2114.00 B
/usr/share/doc/yices-doc/examples/bv_neg20.ys114.00 B
/usr/share/doc/yices-doc/examples/bv_not20.ys114.00 B
/usr/share/doc/yices-doc/examples/div_axiom5.smt2117.00 B
/usr/share/doc/yices-doc/examples/abs_test6.smt2118.00 B
/usr/share/doc/yices-doc/examples/div_axiom6.smt2120.00 B
/usr/share/doc/yices-doc/examples/dioph-example3.txt123.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test7.sat.ys126.00 B
/usr/share/doc/yices-doc/examples/div_test1.smt2128.00 B
/usr/share/doc/yices-doc/examples/floor_test1.smt2129.00 B
/usr/share/doc/yices-doc/examples/floor_test2.smt2129.00 B
/usr/share/doc/yices-doc/examples/div_test2.smt2132.00 B
/usr/share/doc/yices-doc/examples/abs_test1.smt2133.00 B
/usr/share/doc/yices-doc/examples/abs_test2.smt2133.00 B
/usr/share/doc/yices-doc/examples/div_test4.smt2140.00 B
/usr/share/doc/yices-doc/examples/floor_axiom.smt2141.00 B
/usr/share/doc/yices-doc/examples/div_test5.smt2143.00 B
/usr/share/doc/yices-doc/examples/floor_test3.smt2144.00 B
/usr/share/doc/yices-doc/examples/mod_test1.smt2144.00 B
/usr/share/doc/yices-doc/examples/mod_axiom.smt2145.00 B
/usr/share/doc/yices-doc/examples/div_test3.smt2148.00 B
/usr/share/doc/yices-doc/examples/mod_test2.smt2148.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.exists.smt2149.00 B
/usr/share/doc/yices-doc/examples/is_int_test2.smt2149.00 B
/usr/share/doc/yices-doc/examples/divides_test1.smt2151.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test1.unsat.smt2153.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test10.unsat.exists.smt2153.00 B
/usr/share/doc/yices-doc/examples/mod_test4.smt2156.00 B
/usr/share/doc/yices-doc/examples/mod_axiom6.smt2157.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test9.sat.ys160.00 B
/usr/share/doc/yices-doc/examples/mod_test3.smt2160.00 B
/usr/share/doc/yices-doc/examples/div_axiom1.smt2162.00 B
/usr/share/doc/yices-doc/examples/div_test6.smt2163.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.exists.smt2163.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.mixed.smt2163.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.exists.smt2163.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.mixed.smt2163.00 B
/usr/share/doc/yices-doc/examples/dioph-unsat1.txt165.00 B
/usr/share/doc/yices-doc/examples/dioph-unsat2.txt165.00 B
/usr/share/doc/yices-doc/examples/dioph-unsat3.txt165.00 B
/usr/share/doc/yices-doc/examples/test_include1.ys165.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test2.sat.smt2167.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test3.sat.smt2167.00 B
/usr/share/doc/yices-doc/examples/divides_test2.smt2168.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.exists.smt2168.00 B
/usr/share/doc/yices-doc/examples/ef-tests/test4.sat.mixed.smt2168.00 B
/usr/share/doc/yices-doc/examples/bv_pprod2.smt169.00 B
Component of No Buildroots