Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: yices-tools-debuginfo | Distribution: Fedora Project |
Version: 2.6.5 | Vendor: Fedora Project |
Release: 1.fc40 | Build date: Tue Jun 25 18:36:08 2024 |
Group: Development/Debug | Build host: buildhw-a64-23.iad2.fedoraproject.org |
Size: 43361657 | Source RPM: yices-2.6.5-1.fc40.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.
GPL-3.0-or-later AND BSD-3-Clause
* Tue Jun 25 2024 Jerry James <loganjerry@gmail.com> - 2.6.5-1 - Version 2.6.5 * Tue Feb 20 2024 Jerry James <loganjerry@gmail.com> - 2.6.4-12 - Fix the SPDX expression * Fri Feb 09 2024 Jerry James <loganjerry@gmail.com> - 2.6.4-11 - Rebuild for cryptominisat 5.11.21 * Wed Jan 31 2024 Jerry James <loganjerry@gmail.com> - 2.6.4-10 - Rebuild for cryptominisat 5.11.15 * Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * 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 - Stop building for 32-bit x86 * 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
/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/25 /usr/lib/debug/.build-id/25/031f87592bf139abf48f75778f5cb4d23cef1d /usr/lib/debug/.build-id/25/031f87592bf139abf48f75778f5cb4d23cef1d.debug /usr/lib/debug/.build-id/33 /usr/lib/debug/.build-id/33/e450aa8530415a4d34ba1492bf53bd8f3858d8 /usr/lib/debug/.build-id/33/e450aa8530415a4d34ba1492bf53bd8f3858d8.debug /usr/lib/debug/.build-id/53 /usr/lib/debug/.build-id/53/33c71e7f3fdc2c98dcaad4dff45acd06d631bf /usr/lib/debug/.build-id/53/33c71e7f3fdc2c98dcaad4dff45acd06d631bf.debug /usr/lib/debug/.build-id/eb /usr/lib/debug/.build-id/eb/115f6eba86bd683febd4c161d639d32b449972 /usr/lib/debug/.build-id/eb/115f6eba86bd683febd4c161d639d32b449972.debug /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/usr/bin/yices-2.6.5-1.fc40.aarch64.debug /usr/lib/debug/usr/bin/yices-sat-2.6.5-1.fc40.aarch64.debug /usr/lib/debug/usr/bin/yices-smt-2.6.5-1.fc40.aarch64.debug /usr/lib/debug/usr/bin/yices-smt2-2.6.5-1.fc40.aarch64.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Aug 18 10:32:39 2024