fiat_2019.2.0~git20191021.825b23a-2_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Mon, 20 Apr 2020 01:07:44 +0800
Source: fiat
Architecture: source
Version: 2019.2.0~git20191021.825b23a-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Drew Parsons <dparsons at debian.org>
Changes:
 fiat (2019.2.0~git20191021.825b23a-2) unstable; urgency=medium
 .
   * drop debian patch fix_tests_pytest4.patch (applied upstream)
   * ensure debian/tests catches test errors
   * separate unit tests from regression tests in debian/tests
     - apply Restrictions: needs-internet to test-fiat-regression in
       debian/tests to download reference data for regression tests.
Checksums-Sha1:
 07b8a5a76d0fdd6a8cc56e3d277dfce19cda1015 2271 fiat_2019.2.0~git20191021.825b23a-2.dsc
 a23d12ec0020aa62c9c0bc852dea704b6b8d4169 6112 fiat_2019.2.0~git20191021.825b23a-2.debian.tar.xz
Checksums-Sha256:
 4b80847a1a1ea9a9295361fb27e2d4db9cf951f5b5f954821bbe0d72b236cf4a 2271 fiat_2019.2.0~git20191021.825b23a-2.dsc
 bfa4f954fefadf3268f65d85786733dab126913d5fb11a4a3cb1810e457e6eae 6112 fiat_2019.2.0~git20191021.825b23a-2.debian.tar.xz
Files:
 26ab52d85e8e94767c34aacb18c25db1 2271 python optional fiat_2019.2.0~git20191021.825b23a-2.dsc
 6535f53587c8f6f2e840a0f135e4ed88 6112 python optional fiat_2019.2.0~git20191021.825b23a-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEI8mpPlhYGekSbQo2Vz7x5L1aAfoFAl6ciTMACgkQVz7x5L1a
Afp4BQ//VAxD0fwftuZPGVAwD/Lfxjn0K43dH5cQwt1JwaQqgQlrTqYugxTDEoSa
uYUZxVxBWyR2yJcNCKi8TAceuZdYNvsCyN727hPFWkMpZI2qP94StMQQ05mTxc86
kTdIu6H/qc7YWmaq4wih50gDh9tBd8hP3tZIr0jmvfAZvHGvo+duQqRNFsSG4WSt
NQENC0a4WtHRt+E7N2POwJEW3hSZnlpc8ECsElfZCA3DPAP8DbYN/oXkmVH9qvQj
XAw/ySgNw1pjLbYb53AEVy3nZbFNVm857IySN012SvkT9X2jyunbOg4CLw2g8vni
ZMSpHstC5VicGYxg0Y7HxGj65Ohm/OV2EvZZXsytGohkSfG4TYDroSBoi6n0VW9w
iOZ1iTV6BoFWZGxt9d20iFxLy2hhAPEMFPXJhWnQCVhNEDFQlgU3jHxcjVJRrEAu
wVSKvwjUhH1qG7VJWm0NilTZEaiVKmt/qZG27DwYE/DbZqoi0bZQ11zIirxJJ6ft
eMEIvAOJb2p9RPP5RdmaL+obl/xwUhLVrlILLf/IZQuOwudOMOEBQ23lgMKepdUL
/lcff3Zw+RqaH2X503WkwXeXYD1rGptKtxpTc/GllHGDxR95oi19pmAbDhpKb6/R
+CX0T+8R6it5AK77qUWY+qaE3Ornfvf6YPmttYpI00710nIqFCM=
=VyKF
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.