Ubuntu
prooftree package

prooftree 0.13-2build4 source package in Ubuntu

Changelog

prooftree (0.13-2build4) jammy; urgency=medium

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <email address hidden>  Tue, 25 Jan 2022 17:38:10 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Jammy
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Jammy release universe misc

Downloads

File Size SHA-256 Checksum
prooftree_0.13.orig.tar.gz 110.5 KiB b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c
prooftree_0.13-2build4.debian.tar.xz 2.6 KiB ad3edee324c3794bcd55f9500807a585922598e94c5588b3edd9efec41b19fa7
prooftree_0.13-2build4.dsc 2.0 KiB 1716dbe12cffd2e72e1361e8c234058eb3bedff50007646a57d1824430c2fb6a

Available diffs

View changes file

Binary packages built by this source

prooftree: No summary available for prooftree in ubuntu kinetic.

No description available for prooftree in ubuntu kinetic.

prooftree-dbgsym: debug symbols for prooftree