-----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-----