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-3.fc32 RPM for armv7hl

From Fedora 32 updates for armhfp / Packages / y

Name: yices-tools Distribution: Fedora Project
Version: 2.6.2 Vendor: Fedora Project
Release: 3.fc32 Build date: Thu May 7 18:20:50 2020
Group: Unspecified Build host: buildvm-armv7-17.arm.fedoraproject.org
Size: 8451994 Source RPM: yices-2.6.2-3.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

* Sat Apr 25 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-3
  - Rebuild for cryptominisat 5.7.0
  - Switch to upstream's solution for sphinx 3 support
* Thu Apr 16 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-2
  - Use native sphinx 3 support for enum instead of cenum extension (bz 1823515)
* 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/6f
/usr/lib/.build-id/6f/fbfd6fc54906926fe1c5ebf01381e6075064fb
/usr/lib/.build-id/84
/usr/lib/.build-id/84/ba079bcce2cf8b6eaa997847cbd024b871610f
/usr/lib/.build-id/91
/usr/lib/.build-id/91/9364df0ae15de93b96459e2cfecbf4877af5a2
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/88a43477659a0bf612b9a05b5b777cb1f50696
/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 14:37:13 2022