Debian navigation

Notes about issue nondeterministic_checksum_generated_by_coq in experimental

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

reproducible icon 4 reproducible packages in experimental/amd64: coq-interval coq-reglang coquelicot mathcomp-zify

FTBFS icon 1 FTBFS packages in experimental/amd64: mathcomp-finmap

depwait icon 4 depwait packages in experimental/amd64: aac-tactics coq-bignums coq-ext-lib 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: 2025-11-02 00:58 UTC