| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: idris2-libs-debuginfo | Distribution: Fedora Project |
| Version: 0.8.0 | Vendor: Fedora Project |
| Release: 5.fc44 | Build date: Tue Mar 3 09:40:15 2026 |
| Group: Development/Debug | Build host: buildvm-a64-11.rdu3.fedoraproject.org |
| Size: 108002 | Source RPM: idris2-0.8.0-5.fc44.src.rpm |
| Packager: Fedora Project | |
| Url: https://www.idris-lang.org | |
| Summary: Debug information for package idris2-libs | |
This package provides debug information for package idris2-libs. Debug information is useful when developing applications that use this package or when debugging this package.
BSD-3-Clause
* Tue Mar 03 2026 Jens Petersen <petersen@redhat.com> - 0.8.0-5 - fix idris2-api bootstrap build * Mon Mar 02 2026 Jens Petersen <petersen@redhat.com> - 0.8.0-4 - enable idris2-api library (idris2.ipkg) * Mon Mar 02 2026 Jens Petersen <petersen@redhat.com> - 0.8.0-3 - fixup exception failure comment path for libc.so linker script * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Tue Nov 04 2025 Jens Petersen <petersen@redhat.com> - 0.8.0-1 - https://github.com/idris-lang/Idris2/blob/v0.8.0/CHANGELOG.md - recommend rlwrap for repl * Tue Nov 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-8 - update comments for excluded archs * Sat Nov 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7 - only disable debug_package for el9 * Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.7.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-5 - lock to the current chez-scheme version * Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-4 - obsolete idris2-lib * Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3 - redisable s390x * Wed Jul 02 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-8 - rename boot bcond to scm_boot (#2314358) - rename lib subpackage to libs (zbyszek, #2314358) * Tue Jul 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7 - provides idris2-static * Tue Jul 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-6 - samples is gone with the archive tarball * Mon Jan 20 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3 - use github archive tarball (zbyszek, #2314358) - enable s390x - rename docs subpackage to noarch doc (#2314358) - move license file to lib (zbyszek, #2314358) * Sun Jan 19 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-2 - use modern bcond macro (#2314358) * Tue Jun 25 2024 Jens Petersen <petersen@redhat.com> - 0.7.0-1 - update to 0.7.0 - require chez-scheme-10
/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/c6 /usr/lib/debug/.build-id/c6/85d68d5d8707560b77754b562ffecab3d346b3 /usr/lib/debug/.build-id/c6/85d68d5d8707560b77754b562ffecab3d346b3.debug /usr/lib/debug/usr /usr/lib/debug/usr/lib64 /usr/lib/debug/usr/lib64/libidris2_support.so-0.8.0-5.fc44.aarch64.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Mar 13 01:36:25 2026