yices-tools-2.6.4-4.fc37 RPM for ppc64le

From Fedora 37 for ppc64le / y

Command line tools that use the yices library.

Provides

• yices-tools
• yices-tools(ppc-64)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libcadical.so.0()(64bit)
• libcryptominisat5.so.5.8()(64bit)
• libgmp.so.10()(64bit)
• libkissat.so.0()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libpoly.so.0()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)
• yices(ppc-64) = 2.6.4-4.fc37

License

GPLv3+ and BSD

Changelog

* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Tue Jan 11 2022 Jerry James <loganjerry@gmail.com> - 2.6.4-2
  - Build with kissat support
* Mon Oct 25 2021 Jerry James <loganjerry@gmail.com> - 2.6.4-1
  - Version 2.6.4
  - Drop upstreamed -big-endian and -sphinx3 patches
  - Enable tests on 32-bit platforms
* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Thu Jan 28 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Fri Nov 27 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-6
  - Rebuild for cryptominisat 5.8.0
* Mon Aug 03 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-5
  - Rebuild for cadical 1.3.0
* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Files

/usr/bin/yices
/usr/bin/yices-sat
/usr/bin/yices-smt
/usr/bin/yices-smt2
/usr/lib/.build-id
/usr/lib/.build-id/1a
/usr/lib/.build-id/1a/9773c3a1bc0ca5cb82cebf9a792a04b6403595
/usr/lib/.build-id/9d
/usr/lib/.build-id/9d/ea1aeff5e5bbfc48363df21e7ee3b66a042e6d
/usr/lib/.build-id/e7
/usr/lib/.build-id/e7/44b2a996d7112276e7a094e6f95cfe59f91939
/usr/lib/.build-id/e7/9d13b9d495cc02687dd312b31dee079d663658
/usr/share/man/man1/yices-sat.1.gz
/usr/share/man/man1/yices-smt.1.gz
/usr/share/man/man1/yices-smt2.1.gz
/usr/share/man/man1/yices.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 21:14:35 2024