[koakuma-chan]

You need to add their repository. It's way harder than it should be.

[Mashimo]

I'm 80% sure i use this one and it works for me https://packages.debian.org/trixie/docker.io