Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

yices-tools-2.6.2-1.fc32 RPM for s390x

From Fedora 32 for s390x / y

Name: yices-tools Distribution: Fedora Project
Version: 2.6.2 Vendor: Fedora Project
Release: 1.fc32 Build date: Thu Mar 26 23:49:17 2020
Group: Unspecified Build host: buildvm-s390x-19.s390.fedoraproject.org
Size: 12852614 Source RPM: yices-2.6.2-1.fc32.src.rpm
Packager: Fedora Project
Url: http://yices.csl.sri.com/
Summary: Command line tools that use the yices library
Command line tools that use the yices library.

Provides

Requires

License

GPLv3+ and BSD

Changelog

* Thu Mar 26 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-1
  - Version 2.6.2
  - Drop upstreamed -missing-typedef patch
  - Add -big-endian patch to fix s390x build
  - Add -cryptominisat5 patch to fix build with recent cryptominisat releases
  - Skip tests on 32-bit platforms; some tests fail due to the limited size of a
    C integer
* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Thu Jan 23 2020 Jerry James <loganjerry@gmail.com> - 2.6.1-5
  - Add -missing-typedef patch to fix FTBFS with gcc 10
  - Set -doc subpackage to noarch
* Fri Nov 22 2019 Jerry James <loganjerry@gmail.com> - 2.6.1-4
  - Add -fwrapv to build flags; thanks to Jeff Law for the diagnosis
* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Tue Oct 30 2018 Jerry James <loganjerry@gmail.com> - 2.6.1-1
  - New upstream version
* Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 04 2018 Jerry James <loganjerry@gmail.com> - 2.6.0-1
  - New upstream version

Files

/usr/bin/yices
/usr/bin/yices-sat
/usr/bin/yices-smt
/usr/bin/yices-smt2
/usr/lib/.build-id
/usr/lib/.build-id/0e
/usr/lib/.build-id/0e/5eeb26ca39b48c3860061aec896bd430e87b8d
/usr/lib/.build-id/3a
/usr/lib/.build-id/3a/29177f0d761756bbcb8f125c4e1dd4d583f9a5
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/3b431ec820ead28df1cbb265b419b679c6c9b7
/usr/lib/.build-id/f0
/usr/lib/.build-id/f0/cef9bbe755d8977d335aded7df4650ee86f9b8
/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, Sun Jan 9 16:28:42 2022