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.