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