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

[Matthias Klose]

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

  * No-change rebuild for ocaml abi changes.

Date: Mon, 02 Nov 2020 15:15:56 +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-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 02 Nov 2020 15:15:56 +0100
Source: prooftree
Architecture: source
Version: 0.13-2build1
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-2build1) hirsute; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 b30687702aa7307cdd60e53dddc4ed623caa6307 2025 prooftree_0.13-2build1.dsc
 997e68222db34db4ce2a5b22859984420a15ff49 2540 prooftree_0.13-2build1.debian.tar.xz
 128d59002b4f00b24b92651cce96c40d2ec06905 6618 prooftree_0.13-2build1_source.buildinfo
Checksums-Sha256:
 5dd021a581dd6ca04e8a47be9ad36f0f1584a9f4335be0b3ae7b7c2d7d1c9c20 2025 prooftree_0.13-2build1.dsc
 f64701f2b1ec6a93271117f4cccbe303114c70dabff6bb668ad16c691f99e2b6 2540 prooftree_0.13-2build1.debian.tar.xz
 71efa9ec0f21cfacf6921a008d999973a06c4ecbfcdac9f2aacfcad8a7d5c641 6618 prooftree_0.13-2build1_source.buildinfo
Files:
 0e7bebc00b2de6cdb354ca8c6cca674a 2025 science optional prooftree_0.13-2build1.dsc
 27c3262aa0829db9ab07424fa99055ba 2540 science optional prooftree_0.13-2build1.debian.tar.xz
 fb4421f601bfa96f4c3c6070bc169f0c 6618 science optional prooftree_0.13-2build1_source.buildinfo

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl+gJ0sQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9edHEADNctz/woHJjD96mncoiAFpkH5Na5RKsPCB
ZiWQSs+YHH8Ad8yjjmdnz1QZdwuJiiwd61HrQaajXPGZFuMswG0nXrEPtpOas80B
sQKvx1GOORwKO24Wy9pupNIZJafJecVKX1KeEjOnOOZ6GE+wBaHwM31ghom2IAVh
glyV1R4K1upUH4B4KRfNH4kC73TjxBvXX8rl2DPcajOOdOJ6r0lIXjX3UvNM7PQT
sumBuHfDRs5/lC8NrZ66mQeonQlXi+vTB7xf21CKuZVHb4ZXXCLsxFyLNaST6A9b
McNJ90s7wOyGq++95y3uckLGh3S9Z4cNi5odogMHHL2b0r15jIXS+OucPe6w6HFa
e6VGA/TFXC4MZ5QjLUSJt5e3KaY8D+F3y8b+2gCXyXtGH3LA/cCjKUBMssbYzUQB
PYVcYKPP8/3DWn+cXYW20U+vcX8jeWs8npGzAvIeEXByROG8VOVnmpJVsoZGPwgV
P5sUVvK7x6I00UaywHUnj7BFmy23T2VKnZ3YY+DJZw+bKXYQPcwuhqcJzcNE4C/Q
46ulpd2wTKJMsv39i6GtT7eVk4DS2bEkDpBh3+1Y9OzGQmEq9/LU9pNUt1SWIHVd
gTR7jZoWHoNA5frU/o9jSYrhgv91HkE/154cknoUFaxHTKgxi2j1OyWk/PcypDAn
2baIvhBlhA==
=pqpp
-----END PGP SIGNATURE-----