Accepted fiat 2019.2.0~git20200609.ccc94c3-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 11 Jun 2020 14:44:43 +0800
Source: fiat
Architecture: source
Version: 2019.2.0~git20200609.ccc94c3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Drew Parsons <dparsons@debian.org>
Changes:
 fiat (2019.2.0~git20200609.ccc94c3-1) unstable; urgency=medium
 .
   * New upstream snapshot.
   * debhelper compatibility level 13
Checksums-Sha1:
 7490c6c19101a563731d1e31559bfa805e74adb2 2271 fiat_2019.2.0~git20200609.ccc94c3-1.dsc
 a9c77c1ca7e98532dc0a488e4f98dc06970267c9 115980 fiat_2019.2.0~git20200609.ccc94c3.orig.tar.gz
 756e5a13a07224ba1888da8743f3187fe04cd762 6148 fiat_2019.2.0~git20200609.ccc94c3-1.debian.tar.xz
Checksums-Sha256:
 11031f961ca3b79277f9e5b9080c49609262f7d9fcbddfee3590f6bc9f477908 2271 fiat_2019.2.0~git20200609.ccc94c3-1.dsc
 e445a5eb1f71de619975931e1970d3cd4a77849d28747dd4b8769778faf2f862 115980 fiat_2019.2.0~git20200609.ccc94c3.orig.tar.gz
 0dc109df583760521487badf462202f738e211d2ed77e9466e0f04c52660c28b 6148 fiat_2019.2.0~git20200609.ccc94c3-1.debian.tar.xz
Files:
 f55253d85e185a86bb1cd1267928f502 2271 python optional fiat_2019.2.0~git20200609.ccc94c3-1.dsc
 16b047d319087b515a1a3a8d46658e81 115980 python optional fiat_2019.2.0~git20200609.ccc94c3.orig.tar.gz
 cc3fe763520d4b86ecb6924f789fdb5a 6148 python optional fiat_2019.2.0~git20200609.ccc94c3-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEI8mpPlhYGekSbQo2Vz7x5L1aAfoFAl7h1PAACgkQVz7x5L1a
AfrkPQ//V+5xZAGzNbCwYozbbjR9CWZfHoNDVbQX9aUUnrTSQyd2VYj9sQaz6e4U
QYtDBfKAbmFKiLDw04ZOipdhTR8nFCS1CYfObgZXHG944kZxWsUUyo2RmgLJVszs
vUGvuwX5tmBulogUcBmfbpr1p+0ScHdfDCUwaybMWHQOpGA4drrDqA1DcxX/njKr
hZ7mCgzaYlNczOEfo7gKV3KD0nDcfloqFuVRKEnD2xe5Lnt8dj+EjJ1vZTO12M75
ltpaaHGe8pK3inPjtgDNJGLjN9iV5HVj2BZgZkbHXEwr0pMfKSQyuttjUhF8IzJc
56+6ajQVuLg30Bs+ZWc2tSppydpAaue73xOt7R9RpUm10MVNO3/kAWX5ZnT8l7LY
fEbqoFCJaRVow8ynHfiqKbdcayNQTZcQJHSUC8RGWobj0oBliuOsKbVBS0NAX+5J
wJCUPBVX8kwDGcJMq4AszpnAkLNdJEL0u0nHSYkIwxg6YFJgGjD/uktiPoNKfoao
jroUFriPP623UiEEJda4HuuoQrB4qjZrXQQwEzBeUYvdetC4oE1dLzZ13NsMOC35
c3oaHhpVWwa0iT1/C+3udvZQllxgCCrS++pp+2CEXt46euyh7aqoNZgQ071/LB5X
jqzhZBhVWfNEblPB30KKd5PhO1hHPq8L5gPxYkPgqj0wvP1o+9k=
=YrqX
-----END PGP SIGNATURE-----