[ubuntu/hirsute-proposed] prooftree 0.13-2build3 (Accepted)

[Matthias Klose]

prooftree (0.13-2build3) hirsute; urgency=medium

  * No-change rebuild for ocaml abi changes.

Date: Mon, 18 Jan 2021 14:18:55 +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-2build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 18 Jan 2021 14:18:55 +0100
Source: prooftree
Architecture: source
Version: 0.13-2build3
Distribution: hirsute
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-2build3) hirsute; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 935fbb134bd5be195ff0e505cce381c8fa8e3465 2025 prooftree_0.13-2build3.dsc
 15972109d5715efbec408fde0e18529feab9eea9 2592 prooftree_0.13-2build3.debian.tar.xz
 f173be17c5610d83cb6dff1bdb4a125bbe053274 7648 prooftree_0.13-2build3_source.buildinfo
Checksums-Sha256:
 bb7507579c14740dc041166bb65bc44807dc3950807307973160a5148b4635ff 2025 prooftree_0.13-2build3.dsc
 5aab14406722cee2960894a770f26ced64b5f9f3de18df9bd546605c67c1e58f 2592 prooftree_0.13-2build3.debian.tar.xz
 46f8c39281824c937c7061d2f7c6ff038708eb8645b23a04018c425ea77e593e 7648 prooftree_0.13-2build3_source.buildinfo
Files:
 cfef484b685ea6f56ab067978c29733f 2025 science optional prooftree_0.13-2build3.dsc
 07b41be550e22eb59eb26ebf23b6e2b7 2592 science optional prooftree_0.13-2build3.debian.tar.xz
 a02d39e93388eb599fd1b815e6c15cd9 7648 science optional prooftree_0.13-2build3_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmAFitIQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9eJjEACgHHi3/AI+0FKbiPoX2efe3IO4J8Y8ohwq
Mq72F3zetOFP7G0Owx+EPXgngK8/bDW7kEXoMgr0QLSX/bqLqv41bunKLgc234Jz
heMxy0XiYyWcia9fecdtIzDENlEraNmvP6qnMASadyQpIMxhYRrwd0Z1rYcQk6Ip
0sddLdpvL3QgXuTc136N4VoxicTgbqwU6IbMMgbPzeOiGd1+efklh1XKeiL+ESG7
0LaB4Z+dBIMj7yEJ53FOduwJ72BWaqDZtILPAGtEbjpYXzh62se6RO7g5HJmAbyt
cLNLHWRcktw5mPdYKEj6H6bxvq/ziD70pxpxR5VnzOp78jX51KVtCdbqSBlf3nRz
dbpEFaazeL6URy6j3bqovusjoQluUeQBTJ566Y+kqAiRUYsqSeIysZH42VULtUc1
8kQR/hUogWIJW+EIbwBAiXJX67/3oRi73LQCEk3ieYNhc1mY9qrtyg6BOLnCzgvR
kbbaW8AJApL/UXXXZXsFas23VExse7JVSW3m28KwTQFEYzrKJ/ejHywxVmAM47Au
H9k4H8A963nMp1YcMBu6bzxRZQA6dcQGwh6tn6cMKjKbda2h/yN4aCEx2Mw2GLVn
5GuDcDWQTAPpM0vH1RjOSABS9la7r8OnHHKY5CnjrGHtZsJo/WMfFpDfwvU4hThJ
tkYUnyr+Ig==
=cjtt
-----END PGP SIGNATURE-----