Back to fiat PTS page

Accepted fiat 2019.2.0~git20210419.7d418fa-2 (source) into unstable



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

Format: 1.8
Date: Sun, 26 Jun 2022 20:54:41 +0200
Source: fiat
Architecture: source
Version: 2019.2.0~git20210419.7d418fa-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Drew Parsons <dparsons@debian.org>
Closes: 1007908
Changes:
 fiat (2019.2.0~git20210419.7d418fa-2) unstable; urgency=medium
 .
   * add debian patches
     - reproducible-build.patch links docs to local python docs to
       enable reproducible builds. Thanks Chris Lamb. Closes: #1007908.
     - docs_local_mathjax.patch configures docs to use local mathjax
   * Standards-Version: 4.6.1
Checksums-Sha1:
 cf9b3acb25341ddf859ed4a6f07838f981b756ad 2387 fiat_2019.2.0~git20210419.7d418fa-2.dsc
 e5183bd0c5aa1da8cd74c204b62c682abe044ebe 7240 fiat_2019.2.0~git20210419.7d418fa-2.debian.tar.xz
Checksums-Sha256:
 ea6dababd4e003bda688a8b9c7be62b70235e4e5917e9436d16787887af40f76 2387 fiat_2019.2.0~git20210419.7d418fa-2.dsc
 99afb58c1b1380aa6c4caaebff6119352cc313ddc566d782708ddf8554e7f5df 7240 fiat_2019.2.0~git20210419.7d418fa-2.debian.tar.xz
Files:
 25c94b417d78cbc920bde992b19e1ffa 2387 python optional fiat_2019.2.0~git20210419.7d418fa-2.dsc
 e71962bb62d7bd104bcff49561852c07 7240 python optional fiat_2019.2.0~git20210419.7d418fa-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEI8mpPlhYGekSbQo2Vz7x5L1aAfoFAmK4szEACgkQVz7x5L1a
Afrq1A/+K+CQF9ECOQec1GKOWcgXkW42nlVnvpsbfeYYb7PFX4ggK+xDD54pn/7J
0Cb02w7Ve6ZBhRxTQuG9bOBQTspYsDZS4/P7/xNyTRSRjIP5QNNqRuoNUXO9G/bc
WPUqI0RCl+mLTHrv+H/e34Npg3F8UevGiwGxPqiCwGrdfakM8RgiuV7Nnn9hKGZ9
w8ZboUV6EyQ1DyL/azjqUSMBp+a+7gOjoxx35/oZeOtVODZlJjsz8Jn+qOriNVig
1ku7SYJoeVIHzor27kxqGhK+T/TM34BARiclNYzvz+OtC69ZtM5ffpGysDt3mu1z
GtGYGZ+KLHoqgtLVyLgiFEoFFMRxx3O4H9mFlctye16/MtJ7/a5REiILPqB28dQ8
dngoI/V2kAY6eOPRMsTsJ9yZUuNiouR7RtUcHvHdnQe/iAYxM5PJx1fkavrNFMDf
oEc1UpCjR5T3dM1nRTqxIQtfWqz5twgB6Qrf8hyOPDy8sogla23HTrpeQYkCQGMr
VaRhmCsdxqBlxq79L5kIouwi//Rpe29dFyuCtEGcb3jR5kDKq6b++0pqICBnUwli
iY0KrTjH1oTNUAzFox0Y25mSRJeDJZkeYVuqvD2U9EN6FmXuGC/TXop/AXR6Suie
H/IslM6GFUqTX9p84gJEjK+V1mMUhKyECRdLEhphLqYFyBRzVRE=
=Is3t
-----END PGP SIGNATURE-----