prooftree 0.13-2 source package in Ubuntu
Changelog
prooftree (0.13-2) unstable; urgency=medium
[ Stephane Glondu ]
* Update Vcs-*
[ Gianfranco Costamagna ]
* Team upload
* Build-depend on coq to avoid it being uninstallable
where coq is not built (Closes: #956674)
-- Gianfranco Costamagna <email address hidden> Wed, 13 May 2020 15:30:43 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| prooftree_0.13-2.dsc | 1.9 KiB | 2f666cb9fc165b5365425fdbc4a4e8f5751681df9360305e38acde7d0610390d |
| prooftree_0.13.orig.tar.gz | 110.5 KiB | b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c |
| prooftree_0.13-2.debian.tar.xz | 2.4 KiB | fa84356b16d6388816e42d6c7b3f909739cbbea23eb360f12ba9c5cdf5c35d1c |
Available diffs
- diff from 0.13-2~build1 (in Ubuntu) to 0.13-2 (235 bytes)
No changes file available.
Binary packages built by this source
- prooftree: No summary available for prooftree in ubuntu groovy.
No description available for prooftree in ubuntu groovy.
- prooftree-dbgsym: No summary available for prooftree-dbgsym in ubuntu groovy.
No description available for prooftree-dbgsym in ubuntu groovy.
