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 on 2013-07-16
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Component:
main
Architectures:
any
Section:
misc
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size MD5 Checksum
prooftree_0.12-1.dsc 2.0 KiB cc459a9075554a8380f28dc3eadf021e
prooftree_0.12.orig.tar.gz 101.2 KiB 1ccae43094ae52a85a52bff0f9e22495
prooftree_0.12-1.debian.tar.gz 2.1 KiB a032ebd56fbdf031fa8163f23bfc2ef6

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.