Packages in experimental/amd64 where the build dependencies failed to be satisfied

56 (8.8%) packages where the build dependencies failed to be satisfied. Note that temporary failures (eg. due to network problems) are automatically rescheduled every 4 hours.

coq-iris coq-ext-lib coqprime coq-record-update coq-unicoq rust-matrix-pickle coq-hammer ott coq-unimath coq-libhyps coq-math-classes critterding coq-hott rust-nitrokey-sys node-solid-jose rust-minidom bcachefs-tools vuls rust-piet-cairo coq-reduction-effects coq-gappa coq-menhirlib coq-stdpp lsp-tree-sitter node-trust-jwa node-jsonld grok ruby-gitlab-labkit coq-simple-io coq-mtac2 flocq groestlcoin ruby-google-apis-storage-v1 grpc php-sabre-vobject# zeekctl rust-nitrokey libewf rust-upstream-ontologist tinysvm go-cpe-dictionary daq mediagoblin incus ruby-devise-i18n janitor coq-bignums rust-axum aac-tactics rust-kanata speedcrunch php-imap liblsl phonetisaurus coq-elpi etesync-dav

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.