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-8.fc39 RPM for i686

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

Name: yices-debuginfo Distribution: Fedora Project
Version: 2.6.4 Vendor: Fedora Project
Release: 8.fc39 Build date: Wed Jan 10 17:16:05 2024
Group: Development/Debug Build host: buildhw-x86-03.iad2.fedoraproject.org
Size: 15738449 Source RPM: yices-2.6.4-8.fc39.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

GPL-3.0-or-later and BSD-3-Clause

Changelog

* Wed Jan 10 2024 Jerry James <loganjerry@gmail.com> - 2.6.4-8
  - Rebuild for cadical 1.9.4
  - Update font licenses from LPPL-1.0 to LPPL-1.3a
* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 2.6.4-5
  - Regenerate the cudd configure script to fix FTBFS
  - Convert License tag to SPDX
* Mon Nov 28 2022 Timm Bäder <tbaeder@redhat.com> - 2.6.4-5
  - Get rid of an implicit int function declaration in a configure check
* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Tue Jan 11 2022 Jerry James <loganjerry@gmail.com> - 2.6.4-2
  - Build with kissat support

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/3b4eb25ed8e0e396e936d82ef30bd6bf6deb4d
/usr/lib/debug/.build-id/dd/3b4eb25ed8e0e396e936d82ef30bd6bf6deb4d.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/yices-2.6.4-8.fc39.i386
/usr/lib/debug/usr
/usr/lib/debug/usr/lib
/usr/lib/debug/usr/lib/libyices.so.2.6.4-2.6.4-8.fc39.i386.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 27 03:11:16 2024