Package: prooftree

• 0.13-2 (main) [bullseye, bookworm]
• 0.13-1 (main) [stretch]
• 0.12-1 (main) [jessie, jessie-kfreebsd]