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

yices-tools-debuginfo-2.6.4-1.fc35 RPM for x86_64

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

Name: yices-tools-debuginfo Distribution: Fedora Project
Version: 2.6.4 Vendor: Fedora Project
Release: 1.fc35 Build date: Mon Oct 25 17:59:19 2021
Group: Development/Debug Build host: buildhw-x86-12.iad2.fedoraproject.org
Size: 42390621 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-tools
This package provides debug information for package yices-tools.
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/03
/usr/lib/debug/.build-id/03/9f4358d421d4b11a97586a0233abdbefd04e14
/usr/lib/debug/.build-id/03/9f4358d421d4b11a97586a0233abdbefd04e14.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/49df9ce326f564598d47216feec654ce3d51dc
/usr/lib/debug/.build-id/14/49df9ce326f564598d47216feec654ce3d51dc.debug
/usr/lib/debug/.build-id/9c
/usr/lib/debug/.build-id/9c/c762b30ea1e736a93178b59b7b16cd2c4c64a7
/usr/lib/debug/.build-id/9c/c762b30ea1e736a93178b59b7b16cd2c4c64a7.debug
/usr/lib/debug/.build-id/d1
/usr/lib/debug/.build-id/d1/b4ac9812e0741ccc9bd7c885ff6d835d1cd9b9
/usr/lib/debug/.build-id/d1/b4ac9812e0741ccc9bd7c885ff6d835d1cd9b9.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/yices-2.6.4-1.fc35.x86_64.debug
/usr/lib/debug/usr/bin/yices-sat-2.6.4-1.fc35.x86_64.debug
/usr/lib/debug/usr/bin/yices-smt-2.6.4-1.fc35.x86_64.debug
/usr/lib/debug/usr/bin/yices-smt2-2.6.4-1.fc35.x86_64.debug


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Sep 24 00:31:59 2022