Debian navigation

Notes about issue nondeterministic_vo_files_generated_by_coq in unstable

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 'unstable' known to be affected by this issue:
(the 1/4 most-popular ones (within this issue) are underlined)

reproducible icon 1 reproducible packages in unstable/amd64: mathcomp-algebra-tactics

FTBR icon 2 unreproducible packages in unstable/amd64: coq-hierarchy-builder 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.