Thanks Sebastien for the comment. I was checking my Debian QA page https://qa.debian.org/developer.php?<email address hidden> and did not check the -proposed pocket, I see now that the packages are there using rmadison (not sure if there is a better dashboard for the check).
I'm available to help with the riscv64 failure in DART if finally there is a valid bug there.
Thanks Sebastien for the comment. I was checking my Debian QA page https:/ /qa.debian. org/developer. php?<email address hidden> and did not check the -proposed pocket, I see now that the packages are there using rmadison (not sure if there is a better dashboard for the check).
I'm available to help with the riscv64 failure in DART if finally there is a valid bug there.