Accepted fiat 2019.2.0~git20200919.42ceef3-1 (source) into unstable

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

Format: 1.8
Date: Wed, 30 Sep 2020 17:08:28 +0800
Source: fiat
Architecture: source
Version: 2019.2.0~git20200919.42ceef3-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~git20200919.42ceef3-1) unstable; urgency=medium
 .
   * New upstream snapshot.
Checksums-Sha1:
 63ce1f262af94635c27b5884065a7032da3f0344 2271 fiat_2019.2.0~git20200919.42ceef3-1.dsc
 5f98ce3fdf8fd247270698da6272bf84e4f0a885 131666 fiat_2019.2.0~git20200919.42ceef3.orig.tar.gz
 41bf64fc0901ff1797401d3b6a42a947bbca3569 6188 fiat_2019.2.0~git20200919.42ceef3-1.debian.tar.xz
Checksums-Sha256:
 00db83686829cb12084d46b84f120c065622351f52a2821ca9cfbe912982a2a0 2271 fiat_2019.2.0~git20200919.42ceef3-1.dsc
 d5e87a1e8206ee5705a807c5b77d72da2d297380de20fd62b62e8a19b5047edd 131666 fiat_2019.2.0~git20200919.42ceef3.orig.tar.gz
 bb0585db689f5a017504dc26cbadcc16ab8d30b3c30c7ad577335e8123d2a736 6188 fiat_2019.2.0~git20200919.42ceef3-1.debian.tar.xz
Files:
 1cde21456ece4ec76213cdc606db660e 2271 python optional fiat_2019.2.0~git20200919.42ceef3-1.dsc
 e2ccabacde460dc22c15a9c85322f4c9 131666 python optional fiat_2019.2.0~git20200919.42ceef3.orig.tar.gz
 7878708cb33656eb60de311a296e3337 6188 python optional fiat_2019.2.0~git20200919.42ceef3-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEI8mpPlhYGekSbQo2Vz7x5L1aAfoFAl90UU4ACgkQVz7x5L1a
Afpr9RAArP/8jdB2L0za2TTetraQB5LVqmorAHVHUydNMnbzpvFvXHJ73p4uqeCq
r+2gqniikQwGcgRrJU232Z3uia2HAUC5HqSyv2HaOY64RSr7peFuOf/rOZynKsfg
UXPJ3uOkdn4F8oaAebSO5MOMS9o3ZAKGjlZ4O+SYw1VQsC57Yjs+Yujkdku2v2R3
cODY8PbbCHA0JE9AkW6J0vYQp1Ir9ocQ1p05qjUiu26UPEnfXbmL/TceQXRWYvcX
T8D43rwn1oM/K6/599ycj0is/igVMUfBbw+TBxgmCVmY3RHg6ReYXgE1p3P14VLw
IUXqYnPEQwqA0n7zSM+uTCeNXZ+OYhDbtna0wEDPDlOUlOuKvOsymsNfqQTb8fSI
FkjKjtiSEtIxxe9kRjxmYlhj6Hq1ykTxmBD+0QRf4Lr49bCWQPt66MLnCGedAmmn
ik8ewk6z7a59bCapxTVP5Sc9P14xeHHIBt2nZUIlFuMAYJvkaErTMhLqI6UGBIcj
J6dvtDvcJ1WTDt5VLfkfTFuboTVlc/V9/SrepIyBIJ7dy44l0UENykl9zVl4iE2C
hIlw0YfuHaCVMgs4h343HiqSB1znEqzbLjYQvhyhS3O6fWfawibJqAv5CMf6JSZ+
GM4SXLF9wYDWQIEyIncbwYYN1+MWHC/7+8OVHcOWm+iQNfsq4rM=
=sMGq
-----END PGP SIGNATURE-----