Ubuntu
prooftree package

prooftree 0.13-1build9 source package in Ubuntu

Changelog

prooftree (0.13-1build9) focal; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 12 Mar 2020 14:53:39 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Focal
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
prooftree_0.13.orig.tar.gz 110.5 KiB b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c
prooftree_0.13-1build9.debian.tar.xz 2.6 KiB 39d2055ca0ba9824aa2de7f261b7d372c2fe612dc55fcfb7ffa651a187bfe9a4
prooftree_0.13-1build9.dsc 2.1 KiB d2120bee40df2f5887df8a3defa22b0bb7c7bbc52ee5a08afb9da1f22de75d7b

Available diffs

View changes file

Binary packages built by this source

prooftree: proof-tree visualization for Proof General

 Prooftree draws proof trees during interactive proof development
 with Proof General. One can inspect goals and proof commands
 and check where existential variables were introduced and
 instantiated. Currently, Prooftree does only work for Coq.

prooftree-dbgsym: debug symbols for prooftree