Accepted fiat 2019.2.0~git20200722.e16d9f3-1 (source) into unstable
-----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-----