[ubuntu/focal-proposed] prooftree 0.13-1build7 (Accepted)

[Dimitri John Ledkov]

prooftree (0.13-1build7) focal; urgency=medium

  * No change rebuild against new ocaml ABI

Date: Fri, 21 Feb 2020 23:16:59 +0000
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/prooftree/0.13-1build7
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 21 Feb 2020 23:16:59 +0000
Source: prooftree
Architecture: source
Version: 0.13-1build7
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Changes:
 prooftree (0.13-1build7) focal; urgency=medium
 .
   * No change rebuild against new ocaml ABI
Checksums-Sha1:
 574d941a01663ac9d6b4152336185f821e854ffe 2125 prooftree_0.13-1build7.dsc
 f2d6288b65be8a9a7c7eff53627a59c022480c5c 2660 prooftree_0.13-1build7.debian.tar.xz
 975d350156f8000784f8a3746487fd44899f527f 7036 prooftree_0.13-1build7_source.buildinfo
Checksums-Sha256:
 f9cacad38594f30084937aca96d1ef1b2e76482a4d13a4920800e9a599666936 2125 prooftree_0.13-1build7.dsc
 a3ff51830f08f1ed3d77b4a16797ca819db96c29a417240d23dd7005860fde86 2660 prooftree_0.13-1build7.debian.tar.xz
 be4d8ce106d86a91a62fb4318b66248c1b066e42986d0b68bd4ee8d822bbab12 7036 prooftree_0.13-1build7_source.buildinfo
Files:
 2475f2af52bfb9736696576c80421df9 2125 science optional prooftree_0.13-1build7.dsc
 fc2b8bb237fbbe75dc043d4e2a1905d2 2660 science optional prooftree_0.13-1build7.debian.tar.xz
 92c2c4474b994a469e96678cca4815fb 7036 science optional prooftree_0.13-1build7_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCgAdFiEE7iQKBSojGtiSWEHXm47ISdXvcO0FAl5QZO8ACgkQm47ISdXv
cO00KQ//c51eS1U7fy6ZRvQq6stzTwAwG3f376vg+lg5qnfzTmUkgasP20wcie5c
0Z3Khyi6IIQntmDv100dPKuQeo/cD10gqpjIKHGPU+4AuSTMQf/6W2h1ZTIXj8bZ
shtquuBEnUKZU5pKiJbYmwEJ4ZyF4QCe7uPfF5c8esJmOpKw5DfLuamtEnFG8TER
QFNMFBAh/Up0TnBXtOHIWS34degKDLDimTsTesWuwy7FkQQApPVr9DWisn/RM9Wp
7L3yhi6diSQ/deXshASosyXLe5GB7ZBe6YeVjaC4j3gp8IysePE15zrBZQ0V5Q+T
Ez609hi7vtlLpZFWgKukcTxebwWDCFn0ZRTV+cEmPsFqKRRr5TjOxIMFHN17Ka7H
ImL9P8f1KQ2q6f56EAFTN6volfe+2sod0wDQinamVguWciKgkw2zs5Ds3AM8cmyW
cK3tpZCHtts4nCAYUZ6uNBE91vR3QkhrWttgaW/y95GLTHc1HajEXKNBh9ql+znH
f0ujYIoWXGVjDIZngg0FPH4JIVCN7XsXOhcVWPfHYGzd3JFGza8nxzQd/XXxmvJa
wVLQ8FffvaeSX1qc3Z4j9pKhmtqLFvIhOfknJ9g+BT+qqDo8CeVzYN0taaaaFpZ/
tjahs9LsNY0G/3UmUPKunt1zlUmdIdYLoQd9CXkqUWqY56xRITE=
=q2W7
-----END PGP SIGNATURE-----