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 | 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.