prooftree 0.12-1build1 source package in Ubuntu

Changelog

prooftree (0.12-1build1) trusty; urgency=medium

  * Rebuild for ocaml-4.01.
 -- Matthias Klose <email address hidden>   Mon, 23 Dec 2013 22:40:50 +0100

Upload details

Uploaded by:
Matthias Klose on 2013-12-23
Uploaded to:
Trusty
Original maintainer:
Debian OCaml Maintainers
Component:
universe
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Vivid release on 2014-10-23 universe misc
Utopic release on 2014-04-23 universe misc
Trusty release on 2013-12-24 universe misc

Downloads

File Size MD5 Checksum
prooftree_0.12.orig.tar.gz 101.2 KiB 1ccae43094ae52a85a52bff0f9e22495
prooftree_0.12-1build1.debian.tar.gz 2.2 KiB 813316e69176fde57bd9a9cb4d1773bd
prooftree_0.12-1build1.dsc 1.4 KiB 777370d44b4a5369507f58227798b83d

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.