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

prooftree-debuginfo-0.14-14.fc45 RPM for aarch64

From Fedora 45 testing updates for aarch64 / debug / Packages / p

Name: prooftree-debuginfo Distribution: Fedora Project
Version: 0.14 Vendor: Fedora Project
Release: 14.fc45 Build date: Wed Sep 23 23:42:43 2026
Group: Development/Debug Build host: buildvm-a64-24.rdu3.fedoraproject.org
Size: 5816205 Source RPM: prooftree-0.14-14.fc45.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

* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 0.14-14
  - OCaml 5.5.1 rebuild
* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.14-13
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 0.14-12
  - OCaml 5.5.0 rebuild
* Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 0.14-11
  - OCaml 5.4.1 rebuild
* Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.14-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Mon Oct 13 2025 Richard W.M. Jones <rjones@redhat.com> - 0.14-9
  - OCaml 5.4.0 rebuild
* Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.14-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sat Jul 12 2025 Jerry James <loganjerry@gmail.com> - 0.14-7
  - Rebuild to fix OCaml dependencies
* Sat Jan 18 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.14-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 0.14-5
  - OCaml 5.3.0 rebuild for Fedora 42

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/3a
/usr/lib/debug/.build-id/3a/35a6c8faa7ec0d72fc70e734038f51cc04a54b
/usr/lib/debug/.build-id/3a/35a6c8faa7ec0d72fc70e734038f51cc04a54b.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/prooftree-0.14-14.fc45.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Oct 8 00:34:07 2026