Debian navigation

Notes about issue nondeterministic_vo_files_generated_by_coq in trixie

Identifier: nondeterministic_vo_files_generated_by_coq
Suites: unstable / trixie / bookworm / bullseye / experimental
Description: Unknown source in .vo files generated by some Coq tool.
Packages in 'trixie' known to be affected by this issue:
(the 1/4 most-popular ones (within this issue) are underlined)

reproducible icon 2 reproducible packages in trixie/amd64: coq-hierarchy-builder mathcomp-algebra-tactics

FTBR icon 1 unreproducible packages in trixie/amd64: ssreflect

 

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.