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

prooftree-debuginfo-0.14-5.fc41 RPM for x86_64

From Fedora 41 updates for x86_64 / debug / Packages / p

Name: prooftree-debuginfo Distribution: Fedora Project
Version: 0.14 Vendor: Fedora Project
Release: 5.fc41 Build date: Wed Jan 29 18:21:18 2025
Group: Development/Debug Build host: buildvm-x86-16.iad2.fedoraproject.org
Size: 2065827 Source RPM: prooftree-0.14-5.fc41.src.rpm
Packager: Fedora Project
Url: https://askra.de/software/prooftree/
Summary: Debug information for package prooftree
 
This package provides debug information for package prooftree.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

GPL-3.0-or-later

Changelog

* Wed Jan 29 2025 Jerry James <loganjerry@gmail.com> - 0.14-5
  - OCaml 5.2.1 rebuild for Fedora 41
* Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.14-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 0.14-3
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 0.14-2
  - OCaml 5.2.0 for Fedora 41
* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 0.14-1
  - Version 0.14
* Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-31
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-30
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.13-29
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.13-28
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.13-27
  - OCaml 5.1 rebuild for Fedora 40
* Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-26
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 11 2023 Richard W.M. Jones <rjones@redhat.com> - 0.13-25
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.13-24
  - OCaml 5.0.0 rebuild

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/486dfc465490b7c124891e9afb62cfe01777f0
/usr/lib/debug/.build-id/35/486dfc465490b7c124891e9afb62cfe01777f0.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/prooftree-0.14-5.fc41.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Mar 12 01:25:53 2025