Package: prooftree

Upstream info
Summary: Proof tree visualization for Proof General
Description:
URL: https://askra.de/software/prooftree/
Owner: jjames
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/prooftree
Koschei: https://koschei.fedoraproject.org/package/prooftree
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 0.13-31.fc40
f40 base 0.13-31.fc40
f39 base 0.13-26.fc39
f38 base 0.13-23.fc38
f37 base 0.13-21.fc37
f36 base 0.13-19.fc36
f35 base 0.13-16.fc35
f34 base 0.13-13.fc34
f33 testing 0.13-12.fc33.1
  base 0.13-12.fc33.1
f32 base 0.13-9.fc32
f31 base 0.13-8.fc31
f30 base 0.13-7.fc30
f29 base 0.13-6.fc29
f28 base 0.13-5.fc28
f27 base 0.13-4.fc27
f26 base 0.13-2.fc26
f25 updates 0.13-1.fc25