prooftree binary package in Ubuntu Focal s390x
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2020-04-01 06:10:09 UTC | Deleted | Ubuntu Focal s390x | release | universe | science | Optional | 0.13-1build9 | ||
|
|||||||||
2020-04-01 06:10:09 UTC | Deleted | Ubuntu Focal s390x | proposed | universe | science | Optional | 0.13-1build9 | ||
|
|||||||||
2020-03-12 16:58:37 UTC | Superseded | Ubuntu Focal s390x | release | universe | science | Optional | 0.13-1build8 | ||
|
|||||||||
2020-03-13 18:10:10 UTC | Deleted | Ubuntu Focal s390x | proposed | universe | science | Optional | 0.13-1build8 | ||
|
|||||||||
2020-02-24 19:38:27 UTC | Superseded | Ubuntu Focal s390x | release | universe | science | Optional | 0.13-1build7 | ||
|
|||||||||
2020-02-26 00:10:14 UTC | Deleted | Ubuntu Focal s390x | proposed | universe | science | Optional | 0.13-1build7 | ||
|
|||||||||
2020-02-22 02:08:17 UTC | Superseded | Ubuntu Focal s390x | release | universe | science | Optional | 0.13-1build6 | ||
|