Accepted haskell-presburger 1.3.1-8 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 16 Jun 2020 15:19:12 +0300
Source: haskell-presburger
Architecture: source
Version: 1.3.1-8
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Changes:
 haskell-presburger (1.3.1-8) unstable; urgency=medium
 .
   * Sourceful upload for GHC 8.8
   * Backport upstream patch to build with GHC 8.8
Checksums-Sha1:
 c773cd4fa79bcff24e1aae3552c92b71f2a50bc6 2361 haskell-presburger_1.3.1-8.dsc
 f36ff8e4390b2a236ae449f38e6c52f02082f6b7 4592 haskell-presburger_1.3.1-8.debian.tar.xz
 4a72bb3952067e22f9459eb1891d9847666a7bf7 5472 haskell-presburger_1.3.1-8_source.buildinfo
Checksums-Sha256:
 b793f0df80d175578712a0b9a757c9d49a2ba5b713cf28c3f858ec39ff7aef19 2361 haskell-presburger_1.3.1-8.dsc
 25d7c4c46f507ec394bbc2a31b1116f51bc0cdea1489590e2e307b8165d53a3a 4592 haskell-presburger_1.3.1-8.debian.tar.xz
 d688724d2ce3af1de7cec04b47d2151f03f8e8118370325be6f63f927c00e937 5472 haskell-presburger_1.3.1-8_source.buildinfo
Files:
 7a79b70895ebc395da16ab61820d9d5f 2361 haskell optional haskell-presburger_1.3.1-8.dsc
 6830417b7705827f469b9541c1eb0ecf 4592 haskell optional haskell-presburger_1.3.1-8.debian.tar.xz
 aab3bfbbeb36e2795f93a808a60b5515 5472 haskell optional haskell-presburger_1.3.1-8_source.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAl7o2GQUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDyFcA/8CiAsFrI1V4D2koKBECvUSbtO6xMK
7JYs9SJ18Y8ZillMYZfMDcy9MUiWquywD2P28Z/eu8ZRXdM1DnqIRNIDo/cyJHke
2Cm7NLdO0fwH0XMqZYy8VLvG/CO52OOugK98BXuHRHOqf/zp/eG40KGd/0UdeHmO
7PXyOn4IDEEM277nK85XSvxatUbBdCwqbfXiq+JPfTZMeSSD6cX8/U+Ih9NyZD6O
E9hQ0ytjbx4wGK5x9AZSuycMMWob+wEavQlImEyf6z/A29hLQZXUN0r1DQawRTdn
rdaWeFNW2yUaXkODCc+1KN6AbIJqAsR+HTgaZozc5V9A9/rVSzA5B5dnnKJdcqzZ
Z2f/4ZFIOBIXZFKZ06sK+8QNFy7wY2+jsO//ORG1VF6XcyxvotuoQQAtWx4Zds4G
IejYUDEm71g6eFlVOOFgEVswsHhEt+cH96fS4m6v6ra8BIlsJoryhmUznMQYWMol
z9yLVVWtCiCWikOWVR5Etu5bVeA69S/XW1O/+SWsjS6ssqwcK2oMy96Dmesjj/Pk
gBjYPFjUOWAbIZYuy+r4oXR+JOfScpGAkAg27R0dxbH9tdy4H6qGlPBrONHxd44y
W/BkcXzL9Cmzw1tsZtR0oeRYP1aF2lBRFRp+371OZUalyVDyjcI3OESe2lgATUfx
HTWY1/5+5n5rJIE=
=d23Q
-----END PGP SIGNATURE-----