Notes for mathcomp-zify - reproducible builds result

Version annotated:

1.2.0+1.12+8.13-5

Identified issues:

Identifier:	nondeterministic_checksum_generated_by_coq
Description	/var/lib/coq/md5sums/packagename.checksum contains a short, nondeterminstic string.

Our notes about issues affecting packages are stored in notes.git and are targeted at packages in Debian in 'unstable/amd64' (unless they say otherwise).

This page was built by the jenkins job reproducible_html_notes which is configured via this git repo. There is more information about jenkins.debian.net and about reproducible builds of Debian available elsewhere.
Please send technical feedback about this setup to the Debian jenkins development list, or as a bug report against the jenkins.debian.org package. Feedback about specific job results should go to their respective lists and/or the BTS.
The code of jenkins.debian.net is mostly GPL-2 licensed. The weather icons are public domain and were taken from the Tango Icon Library. Copyright 2014-2024 Holger Levsen and many others.
Last update: 2024-12-23 00:58 UTC