Sat, 23 Nov 2024 11:17:55 UTC | login

Information for build prooftree-0.13-29.fc40

ID277981
Package Nameprooftree
Version0.13
Release29.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/prooftree.git#b243f9bb3e9a68d4223c99611334384faf35ae75
SummaryProof tree visualization for Proof General
DescriptionProoftree is a program for proof-tree visualization during interactive proof development in a theorem prover. It is currently being developed for Coq and Proof General. Prooftree helps against getting lost between different subgoals in interactive proof development. It clearly shows where the current subgoal comes from and thus helps in developing the right plan for solving it. Prooftree uses different colors for the already proven subgoals, the current branch in the proof and the still open subgoals. Sequent texts are not displayed in the proof tree itself, but they are shown as a tool-tip when the mouse rests over a sequent symbol. Long proof commands are abbreviated in the tree display, but show up in full length as tool-tip. Both, sequents and proof commands, can be shown in the display below the tree (on single click) or in a separate window (on double or shift-click). Prooftree can mark the proof command that introduced a certain existential variable and thus help to locate the problem when Coq says: No more subgoals but non-instantiated existential variables.
Built bydavidlt
State complete
Volume DEFAULT
StartedThu, 21 Dec 2023 07:32:57 UTC
CompletedThu, 21 Dec 2023 12:57:12 UTC
Taskbuild (f40, /rpms/prooftree.git:b243f9bb3e9a68d4223c99611334384faf35ae75)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/prooftree.git#b243f9bb3e9a68d4223c99611334384faf35ae75'}}
Tags
f40
RPMs
src
prooftree-0.13-29.fc40.src.rpm (info) (download)
riscv64
prooftree-0.13-29.fc40.riscv64.rpm (info) (download)
prooftree-debuginfo-0.13-29.fc40.riscv64.rpm (info) (download)
prooftree-debugsource-0.13-29.fc40.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * 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 * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.13-23 - Rebuild OCaml packages for F38 * Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Mon Dec 12 2022 Jerry James <loganjerry@gmail.com> - 0.13-21 - Convert License tag to SPDX * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 0.13-20 - OCaml 4.14.0 rebuild * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.13-19 - OCaml 4.13.1 rebuild to remove package notes * Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild