-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 23 Oct 2019 02:12:10 +0800 Source: fiat Architecture: source Version: 2019.1.0-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Drew Parsons <dparsons@debian.org> Closes: 942237 Changes: fiat (2019.1.0-3) unstable; urgency=medium . * debian patch fix_tests_pytest4.patch adapts upstream PR#31 and PR#37 to fix tests for pytest4. Closes: #942237. * Standards-Version: 4.4.1 Checksums-Sha1: 9b2f7747db6e7a1802f33a765479b34d3945d87c 2375 fiat_2019.1.0-3.dsc 479d223840da6005f557e0226331ef70032009e3 7176 fiat_2019.1.0-3.debian.tar.xz Checksums-Sha256: e7f3bf86b700b5bc5bd3001c70dc114e42a7db518ec20109d24a5ebc789d7606 2375 fiat_2019.1.0-3.dsc d111c641624c667217545ebaf78b1331c1de31cb94036a4e717ed561626dd40c 7176 fiat_2019.1.0-3.debian.tar.xz Files: f65b1da1823fcd5ca2c17594b8c9ac05 2375 python optional fiat_2019.1.0-3.dsc 521ec2c7a69cadf6795bf493219c5511 7176 python optional fiat_2019.1.0-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEI8mpPlhYGekSbQo2Vz7x5L1aAfoFAl2vSAIACgkQVz7x5L1a AfoIVhAAi5D2yFenIk7rTKO8qYnLnNZGJwPNMnircaT+lJNyNK/yITx3V5gC/Tas s7Tf0lphyxj3IDvop6QO9TtLNnYwV6pPXWbeY91LJeMsFkKCb9d/GarGhrXPjYPw s/AiYK4byszt6GyL4m0S8pOmh1KcI+8z5vXit6erJ5bbrmg3jMlsY/Ri/68XT8u3 vSQxJfS9PiuBS/g3pwJrYcg/Tfx4opXJ5z1V2+qFFwA5Yyc8qtLMrv4YhjPhJ29l nwBp+X7L9Niz6KFXc+2m9kWPuhtuBd9CGaj4Akn9uf0LludzqI9ZyPVZAI/gSehG 2tLLi4MiC2hztaWhpcb8xZh2KTrWl8xUOuJkDSpq7jT0V0KBCRSGJJpFynV1AwWp lZC+eitwOB9zgVNlfjvpC2qTHKU2B4SZ/ClsCqw91G3krk5aRhX/zeF5L8sWSgUe l36rT9vI0KRYWpySFh45Tsr3OhzAAQ7+s3Sa7avPHcjw3iPJw/RtLNL8qwNEld31 Mm7ObBNBo3o9Po6+XIkkL4HqN8z4EMIVy5hy7/KemXfZsg3OSOeKM4RueXtYBKCi EQlemHawC2ElawNRgq8hoh6XHYsA0wSHUXmOzZVBEURS1onW876ktChW95WDy0XZ Ziz4SkgLZJsy5fPauKN1uFFPVa6S4j/M9bhGfD5f8UVWYHp2Oro= =QVYQ -----END PGP SIGNATURE-----