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 aarch64

From Fedora 32 updates for aarch64 / Packages / y

Name: yices-tools Distribution: Fedora Project
Version: 2.6.2 Vendor: Fedora Project
Release: 3.fc32 Build date: Thu May 7 18:19:39 2020
Group: Unspecified Build host: buildvm-aarch64-14.arm.fedoraproject.org
Size: 9838542 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/12
/usr/lib/.build-id/12/5a9d1d761a6235a13e3d58d221a6d63f304389
/usr/lib/.build-id/26
/usr/lib/.build-id/26/3c6e830c0c58cbcf706ee26c96eea2dab8b886
/usr/lib/.build-id/38
/usr/lib/.build-id/38/a94de15edc142c0a0cf485a2526d2ee8e7fa06
/usr/lib/.build-id/7d
/usr/lib/.build-id/7d/1d7de3ed2583fe003cd6d94a614dfaf14d7f3a
/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, Mon May 9 14:21:55 2022