Publishing details

• Removal requested on 2023-11-13.
• Published on 2022-04-26
• Copied from ubuntu jammy in Primary Archive for 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

Builds

Package files

• prooftree-dbgsym_0.13-2build4_amd64.ddeb (308.6 KiB)
• prooftree-dbgsym_0.13-2build4_arm64.ddeb (328.9 KiB)
• prooftree-dbgsym_0.13-2build4_armhf.ddeb (293.4 KiB)
• prooftree-dbgsym_0.13-2build4_ppc64el.ddeb (282.5 KiB)
• prooftree-dbgsym_0.13-2build4_riscv64.ddeb (272.1 KiB)
• prooftree-dbgsym_0.13-2build4_s390x.ddeb (258.9 KiB)
• prooftree_0.13-2build4.debian.tar.xz (2.6 KiB)
• prooftree_0.13-2build4.dsc (2.0 KiB)
• prooftree_0.13-2build4_amd64.deb (1.3 MiB)
• prooftree_0.13-2build4_arm64.deb (1.5 MiB)
• prooftree_0.13-2build4_armhf.deb (1.2 MiB)
• prooftree_0.13-2build4_ppc64el.deb (1.4 MiB)
• prooftree_0.13-2build4_riscv64.deb (1.2 MiB)
• prooftree_0.13-2build4_s390x.deb (1.3 MiB)
• prooftree_0.13.orig.tar.gz (110.5 KiB)