Debian Bug report logs - #1007908
fiat: please make the build reproducible

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: "Chris Lamb" <lamby@debian.org>

To: submit@bugs.debian.org

Subject: fiat: please make the build reproducible

Date: Fri, 18 Mar 2022 12:04:26 +0000

[Message part 1 (text/plain, inline)]

Source: fiat
Version: 2019.2.0~git20210419.7d418fa-1
Severity: wishlist
Tags: patch
User: reproducible-builds@lists.alioth.debian.org
Usertags: randomness
X-Debbugs-Cc: reproducible-bugs@lists.alioth.debian.org

Hi,

Whilst working on the Reproducible Builds effort [0] we noticed that
fiat could not be built reproducibly.

This is because the output varies on whether the build process can
access the internet. A patch is attached that uses intersphinx
mapping to link to local documentation (vs. linking to the internet
version).

(Another solution would be to disable all internet access entirely
via the HTTPPROXY variables.)

 [0] https://reproducible-builds.org/


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby@debian.org / chris-lamb.co.uk
       `-

[fiat.diff.txt (text/plain, attachment)]

Message #10 received at 1007908-close@bugs.debian.org (full text, mbox, reply):

From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>

To: 1007908-close@bugs.debian.org

Subject: Bug#1007908: fixed in fiat 2019.2.0~git20210419.7d418fa-2

Date: Sun, 26 Jun 2022 19:48:48 +0000

Source: fiat
Source-Version: 2019.2.0~git20210419.7d418fa-2
Done: Drew Parsons <dparsons@debian.org>

We believe that the bug you reported is fixed in the latest version of
fiat, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1007908@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Drew Parsons <dparsons@debian.org> (supplier of updated fiat package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


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

Send a report that this bug log contains spam.