NAT64 on Debian

What you want is probably https://jool.mx. It's a kernel module that implements NAT64.