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
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Wily release on 2015-05-04 universe misc
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 SHA-256 Checksum
prooftree_0.12.orig.tar.gz 101.2 KiB 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723
prooftree_0.12-1build1.debian.tar.gz 2.2 KiB db996948b4e83fd7613b8206c23683f38562f68b651a753bc8b2528f88ba8c1a
prooftree_0.12-1build1.dsc 1.4 KiB 4621ff2eb95911d2a233da72b74d8e48d2ad6dbc68745efb23464b8269025c4e

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.