Ubuntu
prooftree package

prooftree 0.12-1 source package in Ubuntu

Changelog

prooftree (0.12-1) unstable; urgency=low


  * Initial release (Closes: #672480)

 -- Hendrik Tews <email address hidden>  Fri, 17 May 2013 16:53:01 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
prooftree_0.12-1.dsc 2.0 KiB 938949bc176689c8c83f8877b6293703f2aac2db51a8b45e2417734d4175145d
prooftree_0.12.orig.tar.gz 101.2 KiB 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723
prooftree_0.12-1.debian.tar.gz 2.1 KiB 8b1c45107d0fe71909a2f9d85f0a877571e3a53dcfd6cac09b39351f72957adf

No changes file available.

Binary packages built by this source

prooftree: No summary available for prooftree in ubuntu saucy.

No description available for prooftree in ubuntu saucy.