| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: prooftree-debugsource | 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: 401699 | Source RPM: prooftree-0.14-5.fc41.src.rpm |
| Packager: Fedora Project | |
| Url: https://askra.de/software/prooftree/ | |
| Summary: Debug sources for package prooftree | |
This package provides debug sources for package prooftree. Debug sources are useful when developing applications that use this package or when debugging this package.
GPL-3.0-or-later
* 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
/usr/src/debug/prooftree-0.14-5.fc41.x86_64 /usr/src/debug/prooftree-0.14-5.fc41.x86_64/about_window.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/configuration.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/coq_evar_lexer.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/coq_evar_lexer.mll /usr/src/debug/prooftree-0.14-5.fc41.x86_64/coq_evar_parser.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/coq_evar_parser.mly /usr/src/debug/prooftree-0.14-5.fc41.x86_64/draw_tree.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/emacs_commands.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/evar_types.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/ext_dialog.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/gtk_ext.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/help_window.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/input.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/main.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/node_window.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/proof_tree.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/proof_window.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/tree_layers.ml /usr/src/debug/prooftree-0.14-5.fc41.x86_64/util.ml
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Mar 12 01:25:53 2025