[ubuntu/jammy-proposed] prooftree 0.13-2build4 (Accepted)

Matthias Klose doko at ubuntu.com
Tue Jan 25 18:08:36 UTC 2022


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

  * No-change rebuild for ocaml abi changes.

Date: Tue, 25 Jan 2022 17:38:10 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/prooftree/0.13-2build4
-------------- next part --------------
Format: 1.8
Date: Tue, 25 Jan 2022 17:38:10 +0100
Source: prooftree
Built-For-Profiles: noudeb
Architecture: source
Version: 0.13-2build4
Distribution: jammy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 prooftree (0.13-2build4) jammy; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 2ca245de2e54536539c5f23140c8dcbb16ae7b8a 2025 prooftree_0.13-2build4.dsc
 4093e77f7995acf5a67e641e23c869015d8aee87 2616 prooftree_0.13-2build4.debian.tar.xz
 eb1188ffb519a8567c3201fd8af1b168d1ec7214 6738 prooftree_0.13-2build4_source.buildinfo
Checksums-Sha256:
 1716dbe12cffd2e72e1361e8c234058eb3bedff50007646a57d1824430c2fb6a 2025 prooftree_0.13-2build4.dsc
 ad3edee324c3794bcd55f9500807a585922598e94c5588b3edd9efec41b19fa7 2616 prooftree_0.13-2build4.debian.tar.xz
 49dca70f5ebf1b8b4a0bd4612d5241ecad63dc16b019f1a09c3b80ba1c020ae7 6738 prooftree_0.13-2build4_source.buildinfo
Files:
 0f1fce1ebef032c4fc322a754301ea33 2025 science optional prooftree_0.13-2build4.dsc
 ba8e6e42f91c5cf50282f560fceb486e 2616 science optional prooftree_0.13-2build4.debian.tar.xz
 e85ad9cbf01eabce55c98b9240a7f876 6738 science optional prooftree_0.13-2build4_source.buildinfo


More information about the jammy-changes mailing list