prooftree 0.13-1build3 source package in Ubuntu

Changelog

prooftree (0.13-1build3) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Oct 2017 16:23:53 +0200

Upload details

Uploaded by:
Gianfranco Costamagna on 2017-10-28
Uploaded to:
Bionic
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Eoan release on 2019-04-18 universe misc
Disco release on 2018-10-30 universe misc
Cosmic release on 2018-05-01 universe misc
Bionic release on 2017-11-05 universe misc

Downloads

File Size SHA-256 Checksum
prooftree_0.13.orig.tar.gz 110.5 KiB b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c
prooftree_0.13-1build3.debian.tar.xz 2.5 KiB 8fcca3cc366bbc683ff83d8635a7b1642facfe12cea3e85cc25894677ecace6d
prooftree_0.13-1build3.dsc 2.0 KiB d89ed4d20272644b25628f30a4d515a46ac735fafc02fda259b388867e9bc128

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