prooftree 0.12-2build1 source package in Ubuntu
Changelog
prooftree (0.12-2build1) xenial; urgency=medium * No-change rebuild against ocaml 4.02. -- Łukasz 'sil2100' Zemczak <email address hidden> Wed, 04 Nov 2015 17:18:33 -0600
Upload details
- Uploaded by:
- Łukasz Zemczak
- Uploaded to:
- Xenial
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Xenial | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
prooftree_0.12.orig.tar.gz | 101.2 KiB | 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 |
prooftree_0.12-2build1.debian.tar.xz | 3.0 KiB | e4cffd99bf2ceee86a81584375a9d174350c6053dc94c98fc49390168e60c543 |
prooftree_0.12-2build1.dsc | 1.6 KiB | 9ee3f3f9ed049eaa7f99759d1a0ac5fe5640160a384b95d3d7a50d6acd5786f2 |
Available diffs
- diff from 0.12-1build1 to 0.12-2build1 (1.5 KiB)
- diff from 0.12-2 (in Debian) to 0.12-2build1 (336 bytes)
Binary packages built by this source
- prooftree: No summary available for prooftree in ubuntu yakkety.
No description available for prooftree in ubuntu yakkety.
- prooftree-dbgsym: debug symbols for package prooftree
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.