Ubuntu
prooftree package

prooftree 0.13-1build6 source package in Ubuntu

Changelog

prooftree (0.13-1build6) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 21 Aug 2019 15:13:54 +0200

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
prooftree_0.13.orig.tar.gz 110.5 KiB b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c
prooftree_0.13-1build6.debian.tar.xz 2.6 KiB c686963d505b39882ec2ef8c97ea25ecbc29d51acb27c9e108a03184a412e1af
prooftree_0.13-1build6.dsc 2.1 KiB 12c70c43f4a535244a5ec0ab5dcf896873c47095bc070baccafc598987543692

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: No summary available for prooftree-dbgsym in ubuntu eoan.

No description available for prooftree-dbgsym in ubuntu eoan.