prooftree-0.14-10.fc44 RPM for aarch64

From Fedora Rawhide for aarch64 / p

Prooftree 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.

Provides

• prooftree
• prooftree(aarch-64)

Requires

• ld-linux-aarch64.so.1()(64bit)
• ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.28)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.42)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libgdk-x11-2.0.so.0()(64bit)
• libgdk_pixbuf-2.0.so.0()(64bit)
• libglib-2.0.so.0()(64bit)
• libgobject-2.0.so.0()(64bit)
• libgtk-x11-2.0.so.0()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• libpango-1.0.so.0()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

GPL-3.0-or-later

Changelog

* 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
* 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

Files

/usr/bin/prooftree
/usr/lib/.build-id
/usr/lib/.build-id/2b
/usr/lib/.build-id/2b/902a9dedda6e5d6c894774136edf0fe0a1c89d
/usr/share/doc/prooftree
/usr/share/doc/prooftree/README
/usr/share/licenses/prooftree
/usr/share/licenses/prooftree/COPYING
/usr/share/man/man1/prooftree.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jan 28 00:32:40 2026