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

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

imip-agent gnunet-gtk speedcrunch rust-axum php-imap phonetisaurus rust-matrix-pickle linux-signed-amd64 coquelicot coq-menhirlib rust-minidom coq-hott coqeal mathcomp-finmap mathcomp-analysis coq-interval mathcomp-zify mathcomp-multinomials coq-extructures coq-unicoq coq-unimath coq-relation-algebra coq-reglang coq-iris coq-math-classes coq-record-update coq-hammer coq-mtac2 flocq coq-hierarchy-builder coq-gappa coq-elpi coq-corn ott coqprime coq-ext-lib mathcomp-bigenough coq-quickchick coq-simple-io bcachefs-tools ssreflect coq-libhyps coq-reduction-effects aac-tactics ruby-gitlab-labkit coq-deriving grpc lsp-tree-sitter ruby-google-apis-storage-v1 zeekctl node-jsonld incus grok liblsl rust-piet-cairo node-solid-jose etesync-dav rust-nitrokey-sys libewf node-trust-jwa rust-nitrokey go-cpe-dictionary mediagoblin tinysvm daq vuls rust-quickcheck groestlcoin coq-bignums ruby-devise-i18n rust-kanata buzztrax janitor critterding php-sabre-vobject#

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.