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

No description available for prooftree in ubuntu utopic.