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

yices-debuginfo-2.6.4-1.fc35 RPM for i686

From Fedora 35 updates for x86_64 / debug / Packages / y

Name: yices-debuginfo Distribution: Fedora Project
Version: 2.6.4 Vendor: Fedora Project
Release: 1.fc35 Build date: Mon Oct 25 17:59:41 2021
Group: Development/Debug Build host: buildhw-x86-13.iad2.fedoraproject.org
Size: 16278329 Source RPM: yices-2.6.4-1.fc35.src.rpm
Packager: Fedora Project
Url: http://yices.csl.sri.com/
Summary: Debug information for package yices
This package provides debug information for package yices.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

GPLv3+ and BSD

Changelog

* 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
* 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

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/6cb834ee4582d6b01cd2565cb2a1fcc20c64b0
/usr/lib/debug/.build-id/2b/6cb834ee4582d6b01cd2565cb2a1fcc20c64b0.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/yices-2.6.4-1.fc35.i386
/usr/lib/debug/usr
/usr/lib/debug/usr/lib
/usr/lib/debug/usr/lib/libyices.so.2.6.4-2.6.4-1.fc35.i386.debug


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Oct 4 00:50:49 2022