Debian navigation

Notes about issue nondeterministic_checksum_generated_by_coq in bookworm

Identifier: nondeterministic_checksum_generated_by_coq
Suites: unstable / trixie / bookworm / bullseye / experimental
Description: /var/lib/coq/md5sums/packagename.checksum contains a short, nondeterminstic string.
Packages in 'bookworm' known to be affected by this issue:
(the 1/4 most-popular ones (within this issue) are underlined)

reproducible icon 7 reproducible packages in bookworm/amd64: aac-tactics coq-bignums coq-ext-lib coq-reglang coquelicot mathcomp-finmap mathcomp-zify

FTBR icon 1 unreproducible packages in bookworm/amd64: coq-iris

 

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

A package name displayed with a bold font is an indication that this package has a note. Visited packages are linked in green, those which have not been visited are linked in blue.
A # sign after the name of a package indicates that a bug is filed against it. Likewise, a + sign indicates there is a patch available, a P means a pending bug while # indicates a closed bug. In cases of several bugs, the symbol is repeated.

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