-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 25 Jul 2020 20:00:05 +0800 Source: fiat Architecture: source Version: 2019.2.0~git20200722.e16d9f3-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~git20200722.e16d9f3-1) unstable; urgency=medium . * New upstream snapshot. Checksums-Sha1: a99e3a50d22dd371076133413fe374407d32c6c2 2271 fiat_2019.2.0~git20200722.e16d9f3-1.dsc e53228b803d36b1759aa78830e67fdf8b3a496c0 120226 fiat_2019.2.0~git20200722.e16d9f3.orig.tar.gz 6cddd683ea8e07f8107db59f6b8bace68de421f2 6172 fiat_2019.2.0~git20200722.e16d9f3-1.debian.tar.xz Checksums-Sha256: 16511d988d99e5f9a6b43b5bea784cf71c521097e0b0d26c886b676fdd3f2fba 2271 fiat_2019.2.0~git20200722.e16d9f3-1.dsc 9e0f315154c960712e5ecc92ec8d42511564abf78d07803d3078e9dbed8466ba 120226 fiat_2019.2.0~git20200722.e16d9f3.orig.tar.gz 028f305865315bf94bf5527e8c9598c58ca0162e3c666e28d25fb4381126b1e3 6172 fiat_2019.2.0~git20200722.e16d9f3-1.debian.tar.xz Files: 041426c63d2ad41995a135e23bdb93e0 2271 python optional fiat_2019.2.0~git20200722.e16d9f3-1.dsc 603deb0f9ee6adb073747f6874ecb21b 120226 python optional fiat_2019.2.0~git20200722.e16d9f3.orig.tar.gz ad7143d056717b98611008a11be10d78 6172 python optional fiat_2019.2.0~git20200722.e16d9f3-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIyBAEBCAAdFiEEI8mpPlhYGekSbQo2Vz7x5L1aAfoFAl8cID4ACgkQVz7x5L1a Afo8mQ/4k3HpeQzgQ4spZ6hPAvnQjov7sS8Ld0oLP2H8azJSiewl35V4jonPRDBP YkjH1XSNk8v+e80MxPb6FmmEBUo80ebjxAanhChfjNMz7FAnaYStHeZVi+0/ki3U ykgOIi2Bp58OI0M87QDQdOVia1lJNhkOTHy+oYCxmduWM9gvMWljA5A74Tf0/u8+ enedOq93BZLZx7RtLggauV52xHSPDInW72vp6gz0xvoERNhWiE61mtX79CRtAeyH kkHkbX7JgT1/dn4ZfK1XqeKTzv+fDwZKuPrZYUHcRs8zgygGSm7ShqggqE53Js79 HSWHo//ccdqlzpIBvZQtPDWP5tacDpILGSgHeQ2uyTPS86VTGtd4c++ks/uLCmal 5qfustrtKdwYG/K1f0cd8xaILmLu1/2ccRlKZsMvLPMQ95+lbMYB/+QDw+p82LeE Onyh2EJ8nJMp0QZ2bCvqK9yOQ3Ges9xw0lPXjJxZzQWMmVZ/H0TleYlBC+QYsKEk 4nW7MVFwFUEO7+Qa4vWV3DLTVpVJuS0l4zGZPxepBYhn3KZ+osZDmNGCph67PQJR I7WsxHwkQNpllsOsYk+bkKam9snFSR5aTmBvIUzs8SitN+UIkUrMECdcVBcg4HlA RbiiBHiopc3yS4HCl4IBiMF5IaY2XjfE/mrYt6eYPiBFhskLKA== =H3qX -----END PGP SIGNATURE-----